-
18Two extensions of the structurally free logic LCLogic Journal of the IGPL 6 (3): 403-424. 1998.The paper considers certain extensions of the system LC introduced in Dunn & Meyer 1997. LC is a structurally free system , but it has combinators as formulas in the place of structural rules. We consider two ways to extend LC with conjunction and disjunction depending on whether they distribute over each other or not. We prove the elimination theorem for the systems. At the end of the paper we give a Routley-Meyer style semantics for the distributive extension, including some new definitions an…Read more
-
17Chapter XI. functions, arithmetic, and other special topicsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 392-487. 2017.
-
17Truth or Consequences: Essays in Honor of Nuel BelnapPhilosophical Quarterly 43 (172): 399. 1993.
-
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.
-
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.
-
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
-
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.
-
14AcknowledgmentsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
13A guide to the Floridi keys: Luciano Floridi: The philosophy of information. Oxford: Oxford University Press, 2011, xx+405pp, £37.50 HB (review)Metascience 22 (1): 93-98. 2013.
-
13Chapter XII. Applications and discussionIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 488-564. 2017.
-
13Incompleteness of the bibinary semantics for RBulletin of the Section of Logic 16 (3): 107-109. 1987.
-
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.
-
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.
-
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.
-
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.
-
10Algebraic completeness results for R-mingle and its extensionsJournal of Symbolic Logic 35 (1): 1-13. 1970.
-
10Hugues 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.
-
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
-
9ContentsIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
9Entailment: The Logic of Relevance and Necessity Vol. 2 (edited book)Princeton University Press. 1992.
-
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.
-
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.
-
6Summary review of volume IIn 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.
-
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
-
5Chapter 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 |