Abstract
Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions (Swirydowicz in J Symb Log 73(4):1249–1270, 2008), for the classical relevance logic \( \hbox {KR} = \hbox {R} + \{(A\,\, \& \sim A)\rightarrow B\}\) there has been known so far a pretabular extension: \({\mathcal L}\) (Galminas and Mersch in Stud Log 100:1211–1221, 2012). In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce a new pretabular logic, which we shall name \({\mathcal M}\), and which is a neighbor of \({\mathcal L}\), in that it is an extension of KR. Also in this section, an algebraic semantics, ‘\({\mathcal M}\)-algebras’, will be introduced and the characterization of \({\mathcal M}\) to the set of finite \({\mathcal M}\)-algebras will be shown. In Section 3, the pretabularity of \({\mathcal M}\) will be proved.
Similar content being viewed by others
References
Abraham, A. Q., The Semantics of Classical Relevant Logics, M.Sc. Thesis, University of Canterbury, 1977.
Anderson, A. R., and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, vol. I, Princeton: Princeton University Press, 1975.
Anderson, A. R., N. Belnap, and M. Dunn, Entailment: the logic of relevance and necessity, vol. II, Princeton: Princeton University Press, 1992.
Blok, W. J., Pretabular Varieties of Modal Algebras, Studia Logica 39: 101–124, 1980.
Dunn, J. M., The Algebra of Intensional Logics, Ph.D. Thesis, University of Pittsburgh, 1966, UMI, Ann Arbor, MI.
Dunn, J. M., Algebraic completeness results for \(R\)-mingle and its extensions, The Journal of Symbolic Logic 35(1): 1–13, 1970.
Dunn, J. M., and R. K. Meyer, Algebraic completeness results for Dummett’s LC and its extensions, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 17: 225–230, 1971.
Esakia, L. L. and V. Y. Meskhi, On five critical modal systems, Theory of Logical Entailment, Part I, (Russian), Moscow, 1974, pp. 76–79.
Esakia, L. L. and V. Y. Meskhi, Five critical modal systems, Theoria 43: 52-60, 1977.
Galminas, L. and J. G. Mersch, A Pretabular Classical Relevance Logic, Recent Developments related to Residuated Lattices and Substructural Logics, Studia Logica 100: 1211–1221, 2012.
Maksimova, L. L., Pretabular superintuitionistic logics, Algebra i Logika 11(5): 558–570, 1972.
Maksimova, L. L., Pretabular extensions of Lewis’s logic \(S\)4, Algebra i Logika 14(1): 28–55, 1975.
Maksimova, L. L., LC and Its Pretabular Relatives, J. Michael Dunn on Information Based Logics, Volume 8 of the series Outstanding Contributions to Logic 2016, pp. 81–91.
Parks, R. Z., A note on R-mingle and Sobociński’s three-valued logic, Notre Dame Journal of Formal Logic 13: 227–228, 1972.
Routley, R., R. K. Meyer, V. Plumwood and R. Brady, Relevant Logics and their Rivals, vol. I. Atascardero, CA: Ridgeview, 1982.
Scroggs, S. J., Extensions of the Lewis system \(S\)5, The Journal of Symbolic Logic 16(2): 112–120, 1951.
Segerberg, K., An essay in classical modal logic, Philosophical Studies, Uppsala, 1971.
Sobociński, B., Axiomatization of a partial system of three-valued calculus of propositions, The Journal of Computing Systems 1: 23–55, 1952.
Sobociński, B., Family K of the non-Lewis modal systems, Notre Dame Journal of Formal Logic 5: 313–8, 1964.
Sobociński, B., Certain extensions of modal system S4, Notre Dame Journal of Formal Logic 11: 347–68, 1970.
Swirydowicz, K., There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height, The Journal of Symbolic Logic 73(4): 1249–1270, 2008.
Urquhart, A., The undecidability of entailment and relevant implication, The Journal of Symbolic Logic 49: 1059–1073, 1984.
Acknowledgements
I would like to thank professors Muhammad Ardeshir, Nasir Mousavian, Hassan Masoud and Muhammad Legenhausen for commenting on earlier drafts of the paper. My thanks are also due to two anonymous referees of the journal for improving the strength and the consolidation of the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fallahi, A. A Second Pretabular Classical Relevance Logic. Stud Logica 106, 191–214 (2018). https://doi.org/10.1007/s11225-017-9734-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9734-z