-
6Analytical table of contentsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
21Chapter X. proof theory and decidabilityIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 267-391. 2017.
-
14AcknowledgmentsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
10Special symbolsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 747-749. 2017.
-
9ContentsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
6PrefaceIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
11Chapter VI. the theory of entailmentIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 1-69. 2017.
-
24Chapter VIII. Ackermann's strenge implikationIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 129-141. 2017.
-
12Index of subjectsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 719-746. 2017.
-
16Entailment, Vol. Ii: The Logic of Relevance and NecessityPrinceton University Press. 2017.In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in the…Read more
-
69Relevant predication 3: essential propertiesIn J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap, Kluwer Academic Publishers. pp. 77--95. 1990.
-
10A logical framework for the notion of natural propertyIn John Earman & John Norton (eds.), The Cosmos of Science, University of Pittsburgh Press. pp. 6--458. 1997.
-
140Dualling: A critique of an argument of Popper and MillerBritish Journal for the Philosophy of Science 37 (2): 220-223. 1986.
-
103Canonical Extensions and Relational Completeness of Some Substructural LogicsJournal of Symbolic Logic 70 (3). 2005.In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion
-
151Relevance logics and relation algebrasReview of Symbolic Logic 2 (1): 102-131. 2009.Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are sha…Read more
-
148Kripke models for linear logicJournal of Symbolic Logic 58 (2): 514-545. 1993.We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operat…Read more
-
99Positive modal logicStudia Logica 55 (2). 1995.We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are.
-
68Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing (review)Journal of Philosophical Logic 42 (3): 443-459. 2013.
-
20Generalized Galois Logics: Relational Semantics of Nonclassical Logical CalculiCenter for the Study of Language and Inf. 2008.Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. _Generalized Galois Logics_ develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and…Read more
-
5Review: Hugues LeBlanc, Truth-Value Semantics (review)Journal of Symbolic Logic 43 (2): 376-377. 1978.
-
126Intuitive semantics for first-degree entailments and 'coupled trees'Philosophical Studies 29 (3): 149-168. 1976.
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Computing and Information |
Areas of Interest
Philosophy of Mind |
Philosophy of Cognitive Science |
Philosophy of Mathematics |