Skip to main content
Log in

A Second Pretabular Classical Relevance Logic

  • Published:
Studia Logica Aims and scope Submit manuscript


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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others


  1. Abraham, A. Q., The Semantics of Classical Relevant Logics, M.Sc. Thesis, University of Canterbury, 1977.

  2. Anderson, A. R., and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, vol. I, Princeton: Princeton University Press, 1975.

  3. Anderson, A. R., N. Belnap, and M. Dunn, Entailment: the logic of relevance and necessity, vol. II, Princeton: Princeton University Press, 1992.

  4. Blok, W. J., Pretabular Varieties of Modal Algebras, Studia Logica 39: 101–124, 1980.

    Article  Google Scholar 

  5. Dunn, J. M., The Algebra of Intensional Logics, Ph.D. Thesis, University of Pittsburgh, 1966, UMI, Ann Arbor, MI.

  6. Dunn, J. M., Algebraic completeness results for \(R\)-mingle and its extensions, The Journal of Symbolic Logic 35(1): 1–13, 1970.

    Article  Google Scholar 

  7. 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.

    Article  Google Scholar 

  8. Esakia, L. L. and V. Y. Meskhi, On five critical modal systems, Theory of Logical Entailment, Part I, (Russian), Moscow, 1974, pp. 76–79.

  9. Esakia, L. L. and V. Y. Meskhi, Five critical modal systems, Theoria 43: 52-60, 1977.

  10. 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.

    Google Scholar 

  11. Maksimova, L. L., Pretabular superintuitionistic logics, Algebra i Logika 11(5): 558–570, 1972.

    Article  Google Scholar 

  12. Maksimova, L. L., Pretabular extensions of Lewis’s logic \(S\)4, Algebra i Logika 14(1): 28–55, 1975.

    Article  Google Scholar 

  13. 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.

  14. 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.

    Article  Google Scholar 

  15. Routley, R., R. K. Meyer, V. Plumwood and R. Brady, Relevant Logics and their Rivals, vol. I. Atascardero, CA: Ridgeview, 1982.

    Google Scholar 

  16. Scroggs, S. J., Extensions of the Lewis system \(S\)5, The Journal of Symbolic Logic 16(2): 112–120, 1951.

    Article  Google Scholar 

  17. Segerberg, K., An essay in classical modal logic, Philosophical Studies, Uppsala, 1971.

  18. Sobociński, B., Axiomatization of a partial system of three-valued calculus of propositions, The Journal of Computing Systems 1: 23–55, 1952.

    Google Scholar 

  19. Sobociński, B., Family K of the non-Lewis modal systems, Notre Dame Journal of Formal Logic 5: 313–8, 1964.

  20. Sobociński, B., Certain extensions of modal system S4, Notre Dame Journal of Formal Logic 11: 347–68, 1970.

  21. 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.

    Article  Google Scholar 

  22. Urquhart, A., The undecidability of entailment and relevant implication, The Journal of Symbolic Logic 49: 1059–1073, 1984.

    Article  Google Scholar 

Download references


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

Correspondence to Asadollah Fallahi.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fallahi, A. A Second Pretabular Classical Relevance Logic. Stud Logica 106, 191–214 (2018).

Download citation

  • Published:

  • Issue Date:

  • DOI: