-
1The trilaticce of constructive truth valuesJournal of Logic and Computation 11 (1): 761--788. 2001.
-
Gentzen's Cut and Ackermann's GammaIn J. Norman & R. Sylvan (eds.), Directions in Relevant Logic, Springer. pp. 229--240. 1989.
-
11Truth or Consequences: Essays in Honor of Nuel Belnap (edited book)Kluwer Academic Publishers. 1990.This collection of essays was compiled for the occasion of Nuel Belnap's 60th birthday.
-
33Nuel Belnap: Doctoral studentsIn J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap, Kluwer Academic Publishers. 1990.
-
16Canonical extensions and relational completeness of some substructural logicsJournal of Symbolic Logic 70 (3): 713-740. 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.
-
9Fine’s Semantics for Relevance Logic and Its RelevanceIn Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic, Springer Verlag. pp. 125-149. 2023.The challenge of giving a semantics for relevance logic in terms of worlds or situations intrigued several logicians. As a solution, Fine gave a two-sorted semantics. We overview the semantics as well as some further work of Fine in the area of relevance logic. Then we show that beyond supplying technical results such as soundness, completeness and the finite model property (fmp) for many logics, the operational–relational semantics provides footing for an informal interpretation and it naturall…Read more
-
44Combinators and structurally free logicLogic Journal of the IGPL 5 (4): 505-537. 1997.A 'Kripke-style' semantics is given for combinatory logic using frames with a ternary accessibility relation, much as in the Tourley-Meyer semantics for relevance logic. We prove by algebraic means a completeness theorem for combinatory logic, by proving a representation theorem for 'combinatory posets.' A philosophical interpretation is given of the models, showing that an element of a combinatory poset can be understood simultaneously as a set of states and as a set of actions on states. This …Read more
-
23Algebraic Methods in Philosophical LogicOxford University Press UK. 2001.This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.
-
12Algebraic completeness results for R-mingle and its extensionsJournal of Symbolic Logic 35 (1): 1-13. 1970.
-
8Relevant predication 2: Intrinsic properties and internal relationsPhilosophical Studies 60 (3): 177-206. 1990.
-
23Contradictory Information: Better Than Nothing? The Paradox of the Two FirefightersIn Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer Verlag. pp. 231-247. 2019.Prominent philosophers have argued that contradictions contain either too much or too little information to be useful. We dispute this with what we call the “Paradox of the Two Firefighters.” Suppose you are awakened in your hotel room by a fire alarm. You open the door. You see three possible ways out: left, right, straight ahead. You see two firefighters. One says there is exactly one safe route and it is to your left. The other says there is exactly one safe route and it is to your right. Whi…Read more
-
32Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket EntailmentLogica Universalis 8 (2): 141-164. 2014.The decidability of the logic of pure ticket entailment means that the problem of inhabitation of simple types by combinators over the base { B, B′, I, W } is decidable too. Type-assignment systems are often formulated as natural deduction systems. However, our decision procedure for this logic, which we presented in earlier papers, relies on two sequent calculi and it does not yield directly a combinator for a theorem of ${T_\to}$. Here we describe an algorithm to extract an inhabitant from a s…Read more
-
30On the Ternary Relation and ConditionalityJournal of Philosophical Logic 41 (3). 2012.One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions o…Read more
-
6Truth or Consequences: Essays in Honor of Nuel BelnapPhilosophical Quarterly 43 (172): 399. 1993.
-
26R-Mingle is Nice, and so is Arnon AvronIn Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Springer Verlag. pp. 141-165. 2021.Arnon Avron has written: “Dunn-McCall logic RM is by far the best understood and the most well-behaved in the family of logics developed by the school of Anderson and Belnap.” I agree. There is the famous saying: “Do not let the perfect become the enemy of the good.” I might say: “good enough.” In this spirit, I will examine the logic R-Mingle, exploring how it is only a “semi-relevant logic” but still a paraconsistent logic. I shall discuss the history of RM, and compare RM to Anderson and Beln…Read more
-
23St. Alasdair on Lattices EverywhereIn Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Springer Verlag. pp. 323-346. 2021.Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley’s representation of distributive lattices—Urquhart’s being one of them, which tries to keep prime filters in the representation. Along the way, we also mention how semi-lattices and lattices figured into Urquhart’s work.
-
5This is a collection of invited papers from the 1975 International Sym posium on Multiple-valued Logic. Also included is an extensive bib liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of pape…Read more
-
10Entailment: The Logic of Relevance and Necessity Vol. 2 (edited book)Princeton University Press. 1992.
-
16Implicational Partial Galois Logics: Relational SemanticsLogica Universalis 15 (4): 457-476. 2021.Implicational tonoid logics and their relational semantics have been introduced by Yang and Dunn. This paper extends this investigation to implicational partial Galois logics. For this, we first define some implicational partial gaggle logics as special kinds of implicational tonoid logics called “implicational partial Galois logics.” Next, we provide Routley–Meyer-style relational semantics for finitary those logics.
-
22Implicational Tonoid Logics: Algebraic and Relational SemanticsLogica Universalis 15 (4): 435-456. 2021.This paper combines two classes of generalized logics, one of which is the class of weakly implicative logics introduced by Cintula and the other of which is the class of gaggle logics introduced by Dunn. For this purpose we introduce implicational tonoid logics. More precisely, we first define implicational tonoid logics in general and examine their relation to weakly implicative logics. We then provide algebraic semantics for implicational tonoid logics. Finally, we consider relational semanti…Read more
-
11Hugues Leblanc. Truth-value semantics. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1976, XII + 319 pp (review)Journal of Symbolic Logic 43 (2): 376-377. 1978.
-
21Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance LogicsAustralasian Journal of Logic 15 (2): 171-209. 2018.A ternary relation is often used nowadays to interpret an implication connective of a logic, a practice that became dominant in the semantics of relevance logics. This paper examines two early manuscripts --- one by Routley, another by Meyer --- in which they were developing set-theoretic semantics for various relevance logics. A standard presentation of a ternary relational semantics for, let us say, the logic of relevant implication R is quite illuminating, yet the invention of this semantics …Read more
-
21Four-valued LogicNotre Dame Journal of Formal Logic 42 (3): 171-192. 2001.Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of t…Read more
-
20FrontmatterIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
15Index of namesIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 711-718. 2017.
-
8Chapter IX. semanticsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 142-266. 2017.
-
6Chapter VII. Individual quantificationIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 70-128. 2017.
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 |