Abstract
We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom \((p\rightarrow q)\vee (q\rightarrow p)\) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Anderson, A. R., and N. D. Belnap, Jr., Modalities in Ackermann’s rigorous implication, The Journal of Symbolic Logic 24:107–111, 1959.
Anderson, A. R., and N. D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975.
Bergman, C., Universal Algebra. Fundamentals and Selected Topics, CRC Press, Taylor & Francis, 2012.
Blok, W. J., Pretabular varieties of modal algebras, Studia Logica 39:101–124, 1980.
Blok, W. J., P. Köhler, and D. Pigozzi, On the structure of varieties with equationally definable principal congruences II, Algebra Universalis 18:334–379, 1984.
Blok, W. J., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15:195–227, 1982.
Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society 396, Amer. Math. Soc., Providence, 1989.
Blok, W. J., and D. Pigozzi, Abstract algebraic logic and the deduction theorem, manuscript, 1997. [See http://orion.math.iastate.edu/dpigozzi/ for updated version, 2001].
Czelakowski, J., and W. Dziobiak, Deduction theorems within RM and its extensions, The Journal of Symbolic Logic 64:279–290, 1999.
Davey, B. A., Weak injectivity and congruence extension in congruence-distributive equational classes, Canadian Journal of Mathematics 29:449–459, 1977.
Dunn, J. M., The Algebra of Intensional Logics, PhD thesis, University of Pittsburgh, 1966. (College Publications 2019).
Dunn, J. M., Algebraic completeness results for R-mingle and its extensions, The Journal of Symbolic Logic 35: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.
Dziobiak, W., There are \(2^{\aleph _0}\) logics with the relevance principle between R and RM, Studia Logica 42:49–61, 1983.
Dziobiak, W., A. V. Kravchenko, and P. J. Wojciechowski, Equivalents for a quasivariety to be generated by a single structure, Studia Logica 91:113–123, 2009.
Esakia, L., and V. Meskhi, Five critical modal systems, Theoria 43:52–60, 1977.
Fallahi, A., Two pretabular linear extensions of relevance logic R, Journal of Applied Non-Classical Logics (2021), 31:154–179, 2021.
Font, J. M., and G. Rodríguez, Note on algebraic models for relevance logic, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36:535–540, 1990.
Fried E., G. Grätzer, and R. Quackenbush, Uniform congruence schemes, Algebra Universalis 10:176–189, 1980.
Fried E., and E. W. Kiss, Connections between congruence-lattices and polynomial properties, Algebra Universalis 17:227–262, 1983.
Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices. An Algebraic Glimpse at Substructural Logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2007.
Galminas, L., and J. G. Mersch, A pretabular classical relevance logic, Studia Logica, 100:1211–1221, 2012.
Hsieh, A., and J. G. Raftery, Conserving involution in residuated structures, Mathematical Logic Quarterly 53:583–609, 2007.
Jónsson, B., Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21:110–121, 1967.
Jónsson, B., Congruence distributive varieties, Mathematica Japonicae 42:353–401, 1995.
Łoś, J., and R. Suszko, Remarks on sentential logics, Proc. Kon. Nederl. Akad. van Wetenschappen, Series A 61:177–183, 1958.
Maksimova, L. L., Pretabular super-intuitionistic logics, Algebra and Logic 11:308–314, 1972.
Maksimova, L. L., Pretabular extensions of Lewis’s logic S4, Algebra and Logic 14:16–33, 1975.
Maksimova, L. L., LC and its pretabular relatives, in K. Bimbo, (ed.), J. Michael Dunn on Information Based Logics, vol. 8 of Outstanding Contributions to Logi, Springer, 2016, pp. 81–91.
Maltsev, A. I., Algebraic Systems, Springer-Verlag, Berlin, 1973.
Marchioni, E., and G. Metcalfe, Craig interpolation for semilinear substructural logics, Mathematical Logic Quarterly 58:468–481, 2012.
Meyer, R. K., J. M. Dunn, and H. Leblanc, Completeness of relevant quantification theories, Notre Dame Journal of Formal Logic 15:97–121, 1974.
Moraschini, T., J. G. Raftery, and J. J. Wannenburg, Varieties of De Morgan monoids: minimality and irreducible algebras, Journal of Pure and Applied Algebra 223:2780–2803, 2019.
Moraschini, T., J. G. Raftery, and J. J. Wannenburg, Varieties of De Morgan monoids: covers of atoms, The Review of Symbolic Logic 13:338–374, 2020.
Olson, J. S., The subvariety lattice for representable idempotent commutative residuated lattices, Algebra Universalis 67:43–58, 2012.
Olson, J. S., J. G. Raftery, and C. J. van Alten, Structural completeness in substructural logics, Logic Journal of the IGPL 16:453–495, 2008.
Slaney, J. K., 3088 varieties: a solution to the Ackermann constant problem, The Journal of Symbolic Logic 50:487–501, 1985.
Slaney, J. K., On the structure of De Morgan monoids with corollaries on relevant logic and theories, Notre Dame Journal of Formal Logic 30:117–129, 1989.
Świrydowicz, 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:1249–1270, 2008.
van Alten, C. J., and J. G. Raftery, Rule separation and embedding theorems for logics without weakening, Studia Logica 76:241–274, 2004.
Wójcicki, R., Some remarks on the consequence operation in sentential logics, Fundamenta Mathematicae 68:269–279, 1970.
Acknowledgements
The authors thank J.J. Wannenburg for correspondence on the subject of this manuscript. The first author’s research was funded by the Iran National Science Foundation (NSF) under Project No. 4005865. The second author was supported in part by the National Research Foundation of South Africa (UID 85407).
Funding
Open access funding provided by University of Pretoria.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Yde Venema
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fallahi, A., Raftery, J.G. On Pretabular Extensions of Relevance Logic. Stud Logica (2023). https://doi.org/10.1007/s11225-023-10081-2
Received:
Published:
DOI: https://doi.org/10.1007/s11225-023-10081-2