| [1] |
Anderson, A. R. and Belnap, N. D., First degree entailments. Mathematische Annalen, vol. 149 (1963), no. 4, pp. 302-319. · Zbl 0113.00402 |
| [2] |
Anderson, A. R. and Belnap, N. D., Entailment: The Logic of Relevance and Necessity, vol.I, Princeton University Press, Princeton, 1975. · Zbl 0323.02030 |
| [3] |
Anderson, A. R., Belnap, N. D., and Michael Dunn, J., Entailment: The Logic of Relevance and Necessity, vol.II, Princeton University Press, Princeton, 1992. · Zbl 0921.03025 |
| [4] |
Belnap, N. D. and Spencer, J. H., Intensionally complemented distributive lattices. Portugalie Mathematica, vol. 25 (1966), no. 2, pp. 99-104. · Zbl 0158.27103 |
| [5] |
Białynicki-Birula, A. and Rasiowa, H., On the representation of quasi-Boolean algebras. Bulletin de l’Académie Polonaise des Sciences, vol. 5 (1957), pp. 259-261. · Zbl 0082.01403 |
| [6] |
Bimbó, K., Relevance logics, Philosophy of Logic (D. Jacquette, editor), Handbook of the Philosophy of Science, vol. 5, Elsevier/North-Holland, Amsterdam, 2007, pp. 723-789. |
| [7] |
Bimbó, K. (ed.), J. Michael Dunn on Information Based Logics, Outstanding Contributions to Logic, vol. 8, Springer, Cham, 2016. · Zbl 1343.03001 |
| [8] |
Bimbó, K. and Michael Dunn, J., Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi, CSLI Lecture Notes, vol. 188, CSLI Publications, Stanford, 2008. · Zbl 1222.03001 |
| [9] |
Bimbó, K. and Michael Dunn, J., New consecution calculi for \({R}_{\to}^t\). Notre Dame Journal of Formal Logic, vol. 53 (2012), no. 4, pp. 491-509. · Zbl 1345.03046 |
| [10] |
Bimbó, K. and Michael Dunn, J., On the decidability of implicational ticket entailment. Journal of Symbolic Logic, vol. 78 (2013), no. 1, 214-236. · Zbl 1275.03159 |
| [11] |
Bimbó, K. and Michael Dunn, J., Modalities in lattice-R, submitted, 2015, 39 pp. |
| [12] |
Bimbó, K. and Michael Dunn, J., On the decidability of classical linear logic (abstract), this Journal, vol. 21 (2015), no. 3, p. 358. |
| [13] |
Bimbó, K. and Michael Dunn, J., Entailment, mingle and binary accessibility, Saul A. Kripke on Modal Logic (Y. Weiss and R. Padro, editors), Outstanding Contributions to Logic, Springer, Cham, forthcoming, 29 pp. |
| [14] |
Dunn, J. M., The Algebra of Intensional Logics, Ph.D. thesis, University of Pittsburgh, Ann Arbor (UMI), 1966 (Published as Vol. 2 in the Logic PhDs series by College Publications, London, 2019). |
| [15] |
Dunn, J. M., Algebraic completeness results for R-mingle and its extensions. Journal of Symbolic Logic, vol. 35 (1970), no. 1, pp. 1-13. · Zbl 0231.02024 |
| [16] |
Dunn, J. M., A ‘Gentzen system’ for positive relevant implication (abstract). Journal of Symbolic Logic, vol. 38 (1973), no. 2, pp. 356-357. |
| [17] |
Dunn, J. M., Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies, vol. 29 (1976), no. 3, pp. 149-168. · Zbl 1435.03043 |
| [18] |
Dunn, J. M., A Kripke-style semantics for R-mingle using a binary accessibility relation. Studia Logica, vol. 35 (1976), no. 2, pp. 163-172. · Zbl 0328.02010 |
| [19] |
Dunn, J. M., Quantification and RM. Studia Logica, vol. 35 (1976), no. 3, pp. 315-322. · Zbl 0359.02014 |
| [20] |
Dunn, J. M., Relevant Robinson’s arithmetic. Studia Logica, vol. 38 (1979), no. 4, pp. 407-418. · Zbl 0434.03018 |
| [21] |
Dunn, J. M., A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic. Studia Logica, vol. 38 (1979), no. 2, pp. 149-169. · Zbl 0406.03030 |
| [22] |
Dunn, J. M., A sieve for entailments. Journal of Philosophical Logic, vol. 9 (1980), no. 1, pp. 41-57. · Zbl 0428.03011 |
| [23] |
Dunn, J. M., Quantum mathematics, PSA 1980: Proceedings of the 1980 Biennial Meeting of the Philosophy of Science Association, vol.2 (P. D. Asquith and R. N. Giere, editors), Philosophy of Science Association, East Lansing, 1981, pp. 521-531. |
| [24] |
Dunn, J. M., Relevance logic and entailment, Handbook of Philosophical Logic, vol.3, first ed. (D. Gabbay and F. Guenthner, editors), D. Reidel, Dordrecht, 1986, pp. 117-224. · Zbl 0875.03051 |
| [25] |
Dunn, J. M., Relevant predication 1: The formal theory. Journal of Philosophical Logic, vol. 16 (1987), no. 4, pp. 347-381. · Zbl 0638.03003 |
| [26] |
Dunn, J. M., The impossibility of certain higher-order non-classical logics with extensionality, Philosophical Analysis: A Defense by Example (D. F. Austin, editor), Philosophical Studies Series, vol. 39, Kluwer, Dordrecht, 1988, pp. 261-281. |
| [27] |
Dunn, J. M., The frame problem and relevant predication, Knowledge Representation and Defeasible Reasoning (H. E. Kyburg, R. P. Loui, and G. N. Carlson, editors), Studies in Cognitive Systems, vol. 5, Kluwer, Dordrecht, 1990, pp. 89-95. · Zbl 0743.68024 |
| [28] |
Dunn, J. M., Relevant predication 2: Intrinsic properties and internal relations. Philosophical Studies, vol. 60 (1990), no. 3, pp. 177-206. |
| [29] |
Dunn, J. M., Relevant predication 3: Essential properties, Truth or Consequences: Essays in Honor of Nuel Belnap (J. M. Dunn and A. Gupta, editors), Kluwer, Amsterdam, 1990, pp. 77-95. |
| [30] |
Dunn, J. M., Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators, Logics in AI: European Workshop JELIA’90 (J. van Eijck, editor), Lecture Notes in Computer Science, vol. 478, Springer, Berlin, 1991, pp. 31-51. · Zbl 0814.03044 |
| [31] |
Dunn, J. M., Partial gaggles applied to logics with restricted structural rules, Substructural Logics (K. Došen and P. Schroeder-Heister, editors), Studies in Logic and Computation, vol. 2, Clarendon, Oxford, 1993, pp. 63-108. · Zbl 0941.03521 |
| [32] |
Dunn, J. M., Gaggle theory applied to intuitionistic, modal and relevance logics, Logik und Mathematik. Frege-Kolloquium Jena 1993 (I. Max and W. Stelzner, editors), W. de Gruyter, Berlin, 1995, pp. 335-368. |
| [33] |
Dunn, J. M., Generalized ortho negation, Negation: A Notion in Focus (H. Wansing, editor), W. de Gruyter, New York, 1996, pp. 3-26. · Zbl 0979.03027 |
| [34] |
Dunn, J. M., Is existence a (relevant) predicate?Philosophical Topics, vol. 24 (1996), no. 1, pp. 1-34. |
| [35] |
Dunn, J. M. and Belnap, N. D. Jr., Homomorphisms of intensionally complemented distributive lattices. Mathematische Annalen, vol. 176 (1968), no. 1, pp. 28-38. · Zbl 0155.03102 |
| [36] |
Dunn, J. M. and Belnap, N. D. Jr., The substitution interpretation of the quantifiers. Noûs, vol. 2 (1968), no. 2, pp. 177-185. |
| [37] |
Dunn, J. M. and Hardegree, G. M., Algebraic Methods in Philosophical Logic, Oxford Logic Guides, vol. 41, Oxford University Press, Oxford, 2001. · Zbl 1014.03002 |
| [38] |
Dunn, J. M. and Meyer, R. K., Algebraic completeness results for Dummett’s LC and its extensions. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), no. 1, pp. 225-230. · Zbl 0252.02018 |
| [39] |
Dunn, J. M. and Meyer, R. K., Gentzen’s cut and Ackermann’s gamma, Directions in Relevant Logic (J. Norman and R. Sylvan, editors), Kluwer, Dordrecht, 1989, pp. 229-240. |
| [40] |
Dunn, J. M. and Meyer, R. K., Combinators and structurally free logic. Logic Journal of the IGPL, vol. 5 (1997), no. 4, pp. 505-537. · Zbl 0878.03008 |
| [41] |
Dunn, J. M. and Restall, G., Relevance logic, Handbook of Philosophical Logic, vol.6, second ed. (D. Gabbay and F. Guenthner, editors), Kluwer, Amsterdam, 2002, pp. 1-128. · Zbl 1065.03002 |
| [42] |
Fine, K., Models for entailment. Journal of Philosophical Logic, vol. 3 (1974), no. 4, pp. 347-372. · Zbl 0296.02013 |
| [43] |
Kalman, J. A., Lattices with involution. Transactions of the American Mathematical Society, vol. 87 (1958), no. 2, pp. 485-491. · Zbl 0228.06003 |
| [44] |
Kripke, S. A., A completeness theorem in modal logic. Journal of Symbolic Logic, vol. 24 (1959), no. 1, pp. 1-14. · Zbl 0091.00902 |
| [45] |
Kripke, S. A., Semantical analysis of intuitionistic logic I, Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium (J. N. Crossley and M. A. E. Dummett, editors), North-Holland, Amsterdam, 1965, pp. 92-130. · Zbl 0137.00702 |
| [46] |
Kripke, S. A., Semantical analysis of modal logic II. Non-normal propositional calculi, The Theory of Models (J. W. Addison, L. Henkin, and A. Tarski, editors), North-Holland, Amsterdam, 1965, pp. 206-220. · Zbl 0163.00502 |
| [47] |
Meyer, R. K. and Michael Dunn, J., E, R and \(\gamma \). Journal of Symbolic Logic, vol. 34 (1969), no. 3, pp. 460-474 (Reprinted in A. R. Anderson and N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton University Press, Princeton, 1975, pp. 300-314, Sec. 25.2). |
| [48] |
Omori, H. and Wansing, H. (eds.), New Essays on Belnap-Dunn Logic, Synthese Library, vol. 418, Springer, Cham, 2019. · Zbl 1433.03008 |
| [49] |
Routley, R. and Meyer, R. K., The semantics of entailment, Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics (H. Leblanc, editor), North-Holland, Amsterdam, 1973, pp. 199-243. · Zbl 0317.02017 |
| [50] |
Urquhart, A., Semantics for relevant logic. Journal of Symbolic Logic, vol. 37 (1972), no. 1, pp. 159-169. · Zbl 0245.02028 |
| [51] |
Urquhart, A., The story of \(\gamma \) , J. Michael Dunn on Information Based Logic (K. Bimbó, editor), Outstanding Contributions to Logic, vol. 8, Springer, Cham, 2016, pp. 93-105.KatalinBimbó · Zbl 1439.03056 |
