{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:10:51Z","timestamp":1745334651616,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T00:00:00Z","timestamp":1700092800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T00:00:00Z","timestamp":1700092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"National Research Foundation of South Africa","award":["UID 85407"],"award-info":[{"award-number":["UID 85407"]}]},{"DOI":"10.13039\/501100003968","name":"Iran National Science Foundation","doi-asserted-by":"publisher","award":["Iran National Science Foundation"],"award-info":[{"award-number":["Iran National Science Foundation"]}],"id":[{"id":"10.13039\/501100003968","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001343","name":"University of Pretoria","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001343","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2024,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 <jats:inline-formula><jats:alternatives><jats:tex-math>$$(p\\rightarrow q)\\vee (q\\rightarrow p)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>p<\/mml:mi>\n                    <mml:mo>\u2192<\/mml:mo>\n                    <mml:mi>q<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                    <mml:mo>\u2228<\/mml:mo>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mi>q<\/mml:mi>\n                    <mml:mo>\u2192<\/mml:mo>\n                    <mml:mi>p<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.<\/jats:p>","DOI":"10.1007\/s11225-023-10081-2","type":"journal-article","created":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T22:01:32Z","timestamp":1700172092000},"page":"967-985","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Pretabular Extensions of Relevance Logic"],"prefix":"10.1007","volume":"112","author":[{"given":"Asadollah","family":"Fallahi","sequence":"first","affiliation":[]},{"given":"James Gordon","family":"Raftery","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,16]]},"reference":[{"key":"10081_CR1","doi-asserted-by":"publisher","first-page":"107","DOI":"10.2307\/2964754","volume":"24","author":"AR Anderson","year":"1959","unstructured":"Anderson,\u00a0A. R., and N. D.\u00a0Belnap, Jr., Modalities in Ackermann\u2019s rigorous implication, The Journal of Symbolic Logic 24:107\u2013111, 1959.","journal-title":"The Journal of Symbolic Logic"},{"key":"10081_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson,\u00a0A. R., and N. D.\u00a0Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol.\u00a01, Princeton University Press, 1975."},{"key":"10081_CR3","doi-asserted-by":"crossref","unstructured":"Bergman,\u00a0C., Universal Algebra. Fundamentals and Selected Topics, CRC Press, Taylor & Francis, 2012.","DOI":"10.1201\/9781439851302"},{"key":"10081_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BF00370315","volume":"39","author":"WJ Blok","year":"1980","unstructured":"Blok, W. J., Pretabular varieties of modal algebras, Studia Logica 39:101\u2013124, 1980.","journal-title":"Studia Logica"},{"key":"10081_CR5","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok, W. J., P.\u00a0K\u00f6hler, and D.\u00a0Pigozzi, On the structure of varieties with equationally definable principal congruences II, Algebra Universalis 18:334\u2013379, 1984.","journal-title":"Algebra Universalis"},{"key":"10081_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"WJ Blok","year":"1982","unstructured":"Blok, W. J., and D.\u00a0Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15:195\u2013227, 1982.","journal-title":"Algebra Universalis"},{"key":"10081_CR7","doi-asserted-by":"crossref","unstructured":"Blok,\u00a0W. J., and D.\u00a0Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society\u00a0396, Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"10081_CR8","unstructured":"Blok,\u00a0W. J., and D.\u00a0Pigozzi, Abstract algebraic logic and the deduction theorem, manuscript, 1997. [See http:\/\/orion.math.iastate.edu\/dpigozzi\/ for updated version, 2001]."},{"key":"10081_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.2307\/2586764","volume":"64","author":"J Czelakowski","year":"1999","unstructured":"Czelakowski,\u00a0J., and W.\u00a0Dziobiak, Deduction theorems within RM and its extensions, The Journal of Symbolic Logic 64:279\u2013290, 1999.","journal-title":"The Journal of Symbolic Logic"},{"key":"10081_CR10","doi-asserted-by":"publisher","first-page":"449","DOI":"10.4153\/CJM-1977-048-1","volume":"29","author":"BA Davey","year":"1977","unstructured":"Davey,\u00a0B. A., Weak injectivity and congruence extension in congruence-distributive equational classes, Canadian Journal of Mathematics 29:449\u2013459, 1977.","journal-title":"Canadian Journal of Mathematics"},{"key":"10081_CR11","unstructured":"Dunn,\u00a0J. M., The Algebra of Intensional Logics, PhD thesis, University of Pittsburgh, 1966. (College Publications 2019)."},{"key":"10081_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2271149","volume":"35","author":"JM Dunn","year":"1970","unstructured":"Dunn,\u00a0J. M., Algebraic completeness results for R-mingle and its extensions, The Journal of Symbolic Logic 35:1\u201313, 1970.","journal-title":"J. Symbolic Logic"},{"key":"10081_CR13","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"JM Dunn","year":"1971","unstructured":"Dunn,\u00a0J. M., and R. K.\u00a0Meyer, Algebraic completeness results for Dummett\u2019s LC and its extensions, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 17:225\u2013230, 1971.","journal-title":"Zeitschr. f. math. Logik und Grundlagen der Math."},{"key":"10081_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF01418759","volume":"42","author":"W Dziobiak","year":"1983","unstructured":"Dziobiak,\u00a0W., There are $$2^{\\aleph _0}$$ logics with the relevance principle between R and RM, Studia Logica 42:49\u201361, 1983.","journal-title":"Studia Logica"},{"key":"10081_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s11225-009-9168-3","volume":"91","author":"W Dziobiak","year":"2009","unstructured":"Dziobiak,\u00a0W., A. V.\u00a0Kravchenko, and P. J.\u00a0Wojciechowski, Equivalents for a quasivariety to be generated by a single structure, Studia Logica 91:113\u2013123, 2009.","journal-title":"Studia Logica"},{"key":"10081_CR16","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1111\/j.1755-2567.1977.tb00779.x","volume":"43","author":"L Esakia","year":"1977","unstructured":"Esakia,\u00a0L., and V.\u00a0Meskhi, Five critical modal systems, Theoria 43:52\u201360, 1977.","journal-title":"Theoria"},{"issue":"154\u2013179","key":"10081_CR17","first-page":"2021","volume":"31","author":"A Fallahi","year":"2021","unstructured":"Fallahi,\u00a0A., Two pretabular linear extensions of relevance logic R, Journal of Applied Non-Classical Logics (2021), 31:154\u2013179, 2021.","journal-title":"J. Applied Non-Classical Logics"},{"key":"10081_CR18","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1002\/malq.19900360606","volume":"36","author":"JM Font","year":"1990","unstructured":"Font,\u00a0J. M., and G.\u00a0Rodr\u00edguez, Note on algebraic models for relevance logic, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 36:535\u2013540, 1990.","journal-title":"Zeitschr. f. math. Logik und Grundlagen der Math."},{"key":"10081_CR19","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF02482900","volume":"10","author":"E Fried","year":"1980","unstructured":"Fried\u00a0E., G.\u00a0Gr\u00e4tzer, and R.\u00a0Quackenbush, Uniform congruence schemes, Algebra Universalis 10:176\u2013189, 1980.","journal-title":"Algebra Universalis"},{"key":"10081_CR20","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF01194534","volume":"17","author":"E Fried","year":"1983","unstructured":"Fried\u00a0E., and E. W.\u00a0Kiss, Connections between congruence-lattices and polynomial properties, Algebra Universalis 17:227\u2013262, 1983.","journal-title":"Algebra Universalis"},{"key":"10081_CR21","unstructured":"Galatos,\u00a0N., P.\u00a0Jipsen, T.\u00a0Kowalski, and H.\u00a0Ono, Residuated Lattices. An Algebraic Glimpse at Substructural Logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2007."},{"key":"10081_CR22","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1007\/s11225-012-9455-2","volume":"100","author":"L Galminas","year":"2012","unstructured":"Galminas,\u00a0L., and J. G.\u00a0Mersch, A pretabular classical relevance logic, Studia Logica, 100:1211\u20131221, 2012.","journal-title":"Studia Logica"},{"key":"10081_CR23","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1002\/malq.200610052","volume":"53","author":"A Hsieh","year":"2007","unstructured":"Hsieh,\u00a0A., and J. G.\u00a0Raftery, Conserving involution in residuated structures, Mathematical Logic Quarterly 53:583\u2013609, 2007.","journal-title":"Math. Logic Quarterly"},{"key":"10081_CR24","doi-asserted-by":"publisher","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B J\u00f3nsson","year":"1967","unstructured":"J\u00f3nsson,\u00a0B., Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21:110\u2013121, 1967.","journal-title":"Math. Scand."},{"key":"10081_CR25","first-page":"353","volume":"42","author":"B J\u00f3nsson","year":"1995","unstructured":"J\u00f3nsson,\u00a0B., Congruence distributive varieties, Mathematica Japonicae 42:353\u2013401, 1995.","journal-title":"Math. Japonica"},{"key":"10081_CR26","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"61","author":"J \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b,\u00a0J., and R.\u00a0Suszko, Remarks on sentential logics, Proc. Kon. Nederl. Akad. van Wetenschappen, Series A 61:177\u2013183, 1958.","journal-title":"Proc. Kon. Nederl. Akad. van Wetenschappen, Series A"},{"key":"10081_CR27","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/BF02330744","volume":"11","author":"LL Maksimova","year":"1972","unstructured":"Maksimova,\u00a0L. L., Pretabular super-intuitionistic logics, Algebra and Logic 11:308\u2013314, 1972.","journal-title":"Algebra and Logic"},{"key":"10081_CR28","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BF01668576","volume":"14","author":"LL Maksimova","year":"1975","unstructured":"Maksimova,\u00a0L. L., Pretabular extensions of Lewis\u2019s logic S4, Algebra and Logic 14:16\u201333, 1975.","journal-title":"Algebra and Logic"},{"key":"10081_CR29","doi-asserted-by":"crossref","unstructured":"Maksimova,\u00a0L. 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.\u00a081\u201391.","DOI":"10.1007\/978-3-319-29300-4_5"},{"key":"10081_CR30","volume-title":"Algebraic Systems","author":"AI Maltsev","year":"1973","unstructured":"Maltsev,\u00a0A. I., Algebraic Systems, Springer-Verlag, Berlin, 1973."},{"key":"10081_CR31","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1002\/malq.201200004","volume":"58","author":"E Marchioni","year":"2012","unstructured":"Marchioni,\u00a0E., and G.\u00a0Metcalfe, Craig interpolation for semilinear substructural logics, Mathematical Logic Quarterly 58:468\u2013481, 2012.","journal-title":"Math. Logic Quarterly"},{"key":"10081_CR32","first-page":"97","volume":"15","author":"RK Meyer","year":"1974","unstructured":"Meyer,\u00a0R. K., J. M.\u00a0Dunn, and H.\u00a0Leblanc, Completeness of relevant quantification theories, Notre Dame Journal of Formal Logic 15:97\u2013121, 1974.","journal-title":"Notre Dame J. Formal Logic"},{"key":"10081_CR33","doi-asserted-by":"publisher","first-page":"2780","DOI":"10.1016\/j.jpaa.2018.09.015","volume":"223","author":"T Moraschini","year":"2019","unstructured":"Moraschini,\u00a0T., J. G.\u00a0Raftery, and J. J.\u00a0Wannenburg, Varieties of De Morgan monoids: minimality and irreducible algebras, Journal of Pure and Applied Algebra 223:2780\u20132803, 2019.","journal-title":"J. Pure Appl. Algebra"},{"key":"10081_CR34","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1017\/S1755020318000448","volume":"13","author":"T Moraschini","year":"2020","unstructured":"Moraschini,\u00a0T., J. G.\u00a0Raftery, and J. J.\u00a0Wannenburg, Varieties of De Morgan monoids: covers of atoms, The Review of Symbolic Logic 13:338\u2013374, 2020.","journal-title":"Rev. Symbolic Logic"},{"key":"10081_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00012-012-0167-2","volume":"67","author":"JS Olson","year":"2012","unstructured":"Olson,\u00a0J. S., The subvariety lattice for representable idempotent commutative residuated lattices, Algebra Universalis 67:43\u201358, 2012.","journal-title":"Algebra Universalis"},{"key":"10081_CR36","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/jigpal\/jzn014","volume":"16","author":"JS Olson","year":"2008","unstructured":"Olson,\u00a0J. S., J. G.\u00a0Raftery, and C. J.\u00a0van Alten, Structural completeness in substructural logics, Logic Journal of the IGPL 16:453\u2013495, 2008.","journal-title":"Logic J. of the IGPL"},{"key":"10081_CR37","doi-asserted-by":"publisher","first-page":"487","DOI":"10.2307\/2274237","volume":"50","author":"JK Slaney","year":"1985","unstructured":"Slaney,\u00a0J. K., 3088 varieties: a solution to the Ackermann constant problem, The Journal of Symbolic Logic 50:487\u2013501, 1985.","journal-title":"J. Symbolic Logic"},{"key":"10081_CR38","first-page":"117","volume":"30","author":"JK Slaney","year":"1989","unstructured":"Slaney,\u00a0J. K., On the structure of De Morgan monoids with corollaries on relevant logic and theories, Notre Dame Journal of Formal Logic 30:117\u2013129, 1989.","journal-title":"Notre Dame J. Formal Logic"},{"key":"10081_CR39","doi-asserted-by":"publisher","first-page":"1249","DOI":"10.2178\/jsl\/1230396916","volume":"73","author":"K \u015awirydowicz","year":"2008","unstructured":"\u015awirydowicz,\u00a0K., 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\u20131270, 2008.","journal-title":"J. Symbolic Logic"},{"key":"10081_CR40","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:STUD.0000032087.02579.e2","volume":"76","author":"CJ van Alten","year":"2004","unstructured":"van Alten,\u00a0C. J., and J. G.\u00a0Raftery, Rule separation and embedding theorems for logics without weakening, Studia Logica 76:241\u2013274, 2004.","journal-title":"Studia Logica"},{"key":"10081_CR41","doi-asserted-by":"publisher","first-page":"269","DOI":"10.4064\/fm-68-3-269-279","volume":"68","author":"R W\u00f3jcicki","year":"1970","unstructured":"W\u00f3jcicki,\u00a0R., Some remarks on the consequence operation in sentential logics, Fundamenta Mathematicae 68:269\u2013279, 1970.","journal-title":"Fund. Math."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10081-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10081-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10081-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T08:22:54Z","timestamp":1729930974000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10081-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,16]]},"references-count":41,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10081"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10081-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2023,11,16]]},"assertion":[{"value":"7 June 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}