-
50Relevant Robinson's arithmeticStudia Logica 38 (4). 1979.In this paper two different formulations of Robinson's arithmetic based on relevant logic are examined. The formulation based on the natural numbers (including zero) is shown to collapse into classical Robinson's arithmetic, whereas the one based on the positive integers (excluding zero) is shown not to similarly collapse. Relations of these two formulations to R. K. Meyer's system R# of relevant Peano arithmetic are examined, and some remarks are made about the role of constant functions (e.g.,…Read more
-
49Algebraic completeness results for r-Mingle and its extensionsJournal of Symbolic Logic 35 (1): 1-13. 1970.
-
49Completeness of relevant quantification theoriesNotre Dame Journal of Formal Logic 15 (1): 97-121. 1974.
-
46New Consecution Calculi for R→tNotre Dame Journal of Formal Logic 53 (4): 491-509. 2012.The implicational fragment of the logic of relevant implication, $R_{\to}$ is one of the oldest relevance logics and in 1959 was shown by Kripke to be decidable. The proof is based on $LR_{\to}$ , a Gentzen-style calculus. In this paper, we add the truth constant $\mathbf{t}$ to $LR_{\to}$ , but more importantly we show how to reshape the sequent calculus as a consecution calculus containing a binary structural connective, in which permutation is replaced by two structural rules that involve $\m…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
-
38Algebraic Completeness Results for Dummett's LC and Its ExtensionsMathematical Logic Quarterly 17 (1): 225-230. 1971.
-
33Nuel Belnap: Doctoral studentsIn J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap, Kluwer Academic Publishers. 1990.
-
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
-
32On the decidability of implicational ticket entailmentJournal of Symbolic Logic 78 (1): 214-236. 2013.The implicational fragment of the logic of relevant implication, $R_\to$ is known to be decidable. We show that the implicational fragment of the logic of ticket entailment, $T_\to$ is decidable. Our proof is based on the consecution calculus that we introduced specifically to solve this 50-year old open problem. We reduce the decidability problem of $T_\to$ to the decidability problem of $R_\to$. The decidability of $T_\to$ is equivalent to the decidability of the inhabitation problem of implic…Read more
-
25R-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
-
24R-mingle and beneath. Extensions of the Routley-Meyer semantics for RNotre Dame Journal of Formal Logic 20 (n/a): 369. 1979.
-
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.
-
23Generalized onrno negationIn Heinrich Wansing (ed.), Negation: a notion in focus, W. De Gruyter. pp. 7--3. 1996.
-
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.
-
22The impossibility of certain higher-order non-classical logics with extensionalityIn D. F. Austin (ed.), Philosophical Analysis, Kluwer Academic Publishers. pp. 261--279. 1988.
-
22Contradictory 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
-
21Algebraic 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.
-
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
-
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.
-
21Implicational 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
-
20FrontmatterIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
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
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 |