Abstract
In this paper we construct an extension, \({\mathcal{L}}\), of Anderson and Belnap’s relevance logic R that is classical in the sense that it contains \({p \& \neg p \rightarrow q}\) as a theorem, and we prove that \({\mathcal{L}}\) is pretabular in the sense that while it does not have a finite characteristic matrix, every proper normal extension of it does. We end the paper by commenting on the possibility of finding other classical relevance logics that are also pretabular.
Similar content being viewed by others
References
Anderson, Alan Ross, and Nuel D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, vol. I, Princeton University Press, 1975.
Dunn J. Michael: Algebraic completeness results for R-mingle and its extensions. The Journal of Symbolic Logic 35(1), 1–13 (1970)
Dunn J. Michael, Robert 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)
Maksimova L.L.: Pretabular superintuitionistic logics. Algebra i Logika 11(5), 558–570 (1972)
Maksimova L.L.: Pretabular extensions of Lewis’s logic S4. Algebra i Logika 14(1), 28–55 (1975)
Scroggs Schiller Joe: Extensions of the Lewis system S5. The Journal of Symbolic Logic 16(2), 112–120 (1951)
Slaney John K.: 3088 varieties: A solution to the Ackermann constant problem. The Journal of Symbolic Logic 50(2), 487–501 (1985)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Galminas, L., Mersch, J.G. A Pretabular Classical Relevance Logic. Stud Logica 100, 1211–1221 (2012). https://doi.org/10.1007/s11225-012-9455-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9455-2