43 results on '"J. A. Dunn"'
Search Results
2. Implicational Partial Galois Logics: Relational Semantics.
3. Implicational Tonoid Logics: Algebraic and Relational Semantics.
4. The Relevance of Relevance to Relevance Logic.
5. Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment.
6. Introduction.
7. The Emergence of Set-theoretical Semantics for Relevance Logics around 1970.
8. Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing.
9. On the decidability of implicational ticket entailment.
10. On state constraint representations and mesh-dependent gradient projection convergence rates for optimal control problems.
11. On the Ternary Relation and Conditionality.
12. New Consecution Calculi for Rt->.
13. Contradictory Information: Too Much of a Good Thing.
14. Symmetric Generalized Galois Logics.
15. Relevance Logics and Relation Algebras.
16. Canonical extensions and relational completeness of some substructural logics.
17. Quantum logic as motivated by quantum computing.
18. Relational Semantics for Kleene Logic and Action Logic.
19. The Trilattice of Constructive Truth Values.
20. Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations.
21. Partiality and Its Dual.
22. On State Constraint Representations and Mesh-Dependent Gradient Projection Convergence Rates for Optimal Control Problems.
23. Two Extensions of the Structurally Free Logic LC*.
24. Combinators and Structurally Free Logic.
25. The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
26. Positive modal logic.
27. Second-Order Multiplier Update Calculations for Optimal Control Problems and Related Large Scale Nonlinear Programs.
28. Kripke Models for Linear Logic.
29. Recent Work at the Interface of Logic, Combinatorics and Computer Science.
30. Relevant predication 1: The formal theory.
31. A sieve for entailments.
32. A consecutive calculus for positive relevant implication with necessity.
33. Axiomatizing Belnap's conditional assertion.
34. Group Averaged Linear Transforms that Detect Corners and Edges.
35. Meeting of the Association for Symbolic Logic: Indianapolis.
36. A relational representation of quasi-Boolean algebras.
37. R-mingle and beneath. Extensions of the Routley-Meyer semantics for R.
38. A Graph Theoretic Analysis of Pattern Classification via Tamura's Fuzzy Relation.
39. E, R, and gama.
40. Algebraic Completeness Results for R-Mingle and Its Extensions.
41. Completeness of relevant quantification theories.
42. A modification of Parry's analytic implication.
43. Continuous Group Averaging and Pattern Classification Problems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.