{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:49:11Z","timestamp":1774374551583,"version":"3.50.1"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T00:00:00Z","timestamp":1613606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T00:00:00Z","timestamp":1613606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["639276"],"award-info":[{"award-number":["639276"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11225-020-09930-1","type":"journal-article","created":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T16:49:23Z","timestamp":1613753363000},"page":"969-994","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Containment Logics: Algebraic Completeness and Axiomatization"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5959-5868","authenticated-orcid":false,"given":"Stefano","family":"Bonzio","sequence":"first","affiliation":[]},{"given":"Michele","family":"Pra Baldi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,18]]},"reference":[{"key":"9930_CR1","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s11225-017-9739-7","volume":"105","author":"H Albuquerque","year":"2017","unstructured":"Albuquerque, H., A. P\u0159enosil, and U. Rivieccio, An Algebraic View of Super-Belnap Logics, Studia Logica 105:1051\u20131086, 2017.","journal-title":"Studia Logica"},{"key":"9930_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00818100","volume":"13","author":"A Anderson","year":"1961","unstructured":"Anderson, A., and N. Belnap, Tautological Entailments, Philosophical Studies 13:9\u201324, 1961.","journal-title":"Philosophical Studies"},{"key":"9930_CR3","doi-asserted-by":"crossref","unstructured":"Beall, J.C., Off-Topic: A New Interpretation of Weak-Kleene Logic, The Australasian Journal of Logic 13(6), 2016.","DOI":"10.26686\/ajl.v13i6.3976"},{"key":"9930_CR4","doi-asserted-by":"crossref","unstructured":"Belikov, A., and Y. Petrukhin, Exactly true and non-falsity logics meeting infectious ones, Journal of Applied Non-Classical Logics 30(2):93\u2013122, 2020.","DOI":"10.1080\/11663081.2020.1751573"},{"key":"9930_CR5","doi-asserted-by":"crossref","unstructured":"Belnap, N., A Useful Four-Valued Logic, in J.\u00a0M. Dunn, and G.\u00a0Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Springer Netherlands, Dordrecht, 1977, pp. 5\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9930_CR6","doi-asserted-by":"crossref","unstructured":"Bergman, C., Universal Algebra: Fundamentals and Selected Topics, Chapman and Hall\/CRC, 2011.","DOI":"10.1201\/9781439851302"},{"key":"9930_CR7","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de\u00a0Rijke, and Y. Venema, Modal logic, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9930_CR8","doi-asserted-by":"crossref","unstructured":"Bochvar, D., and M. Bergmann, On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus (1938), History and Philosophy of Logic 2(1\u20132):87\u2013112, 1981.","DOI":"10.1080\/01445348108837023"},{"issue":"2","key":"9930_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11225-016-9689-5","volume":"105","author":"S Bonzio","year":"2017","unstructured":"Bonzio, S., J. Gil-Ferez, F. Paoli, and L. Peruzzi, On Paraconsistent Weak Kleene Logic: Axiomatization and Algebraic Analysis, Studia Logica 105(2):253\u2013297, 2017.","journal-title":"Studia Logica"},{"key":"9930_CR10","unstructured":"Bonzio, S., T. Moraschini, and M. Pra\u00a0Baldi, Logics of left variable inclusion and P\u0142onka sums of matrices, Archive for Mathematical Logic, forthcoming."},{"key":"9930_CR11","unstructured":"Burris, S., and H.P. Sankappanavar, A course in Universal Algebra, The Millennium Edition, https:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/ualg.html, 2012."},{"key":"9930_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.fss.2017.10.014","volume":"345","author":"C Caleiro","year":"2018","unstructured":"Caleiro, C., S. Marcelino, and U. Rivieccio, Characterizing finite-valuedness, Fuzzy Sets and Systems 345:113\u2013125, 2018.","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"9930_CR13","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00012-017-0455-y","volume":"78","author":"MA Campercholi","year":"2017","unstructured":"Campercholi, M.A., and J.G. Raftery, Relative congruence formulas and decompositions in quasivarieties, Algebra Universalis 78(3):407\u2013425, 2017.","journal-title":"Algebra Universalis"},{"key":"9930_CR14","first-page":"165","volume-title":"New Developments in Logic and the Philosophy of Science","author":"R Ciuni","year":"2016","unstructured":"Ciuni, R., and M. Carrara, Characterizing Logical Consequence in Paraconsistent Weak Kleene, in L.\u00a0Felline, A.\u00a0Ledda, F.\u00a0Paoli, and E.\u00a0Rossanese, (eds.), New Developments in Logic and the Philosophy of Science, College Publications, London, 2016, pp. 165\u2013176."},{"issue":"2","key":"9930_CR15","doi-asserted-by":"publisher","first-page":"301","DOI":"10.26686\/ajl.v15i2.4864","volume":"15","author":"R Ciuni","year":"2018","unstructured":"Ciuni, R., T.M. Ferguson, and D. Szmuc, Relevant Logics obeying Component Homogeneity, Australasian Journal of Logic 15(2):301\u2013361, 2018.","journal-title":"Australasian Journal of Logic"},{"key":"9930_CR16","doi-asserted-by":"crossref","unstructured":"Ciuni, R., T.M. Ferguson, and D. Szmuc, Logics based on linear orders of contaminating values, Journal of Logic and Computation 29(5):631\u2013663, 06 2019.","DOI":"10.1093\/logcom\/exz009"},{"key":"9930_CR17","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BF00216471","volume":"32","author":"C Daniels","year":"1990","unstructured":"Daniels, C., A note on negation, Erkenntnis 32:423\u2013429, 1990.","journal-title":"Erkenntnis"},{"issue":"2","key":"9930_CR18","first-page":"26","volume":"1","author":"H Deutsch","year":"1977","unstructured":"Deutsch, H., Relevant analytic entailment, The Relevance Logic Newsletter 1(2):26\u201344, 1977.","journal-title":"The Relevance Logic Newsletter"},{"key":"9930_CR19","unstructured":"Diego, A., Sobre \u00e1lgebras de Hilbert, volume\u00a012 of Notas de L\u00f3gica Matem\u00e1tica. Universidad Nacional del Sur, Bah\u00eda Blanca (Argentina), 1965."},{"key":"9930_CR20","doi-asserted-by":"crossref","unstructured":"Epstein, R.L., The semantic foundations of logic, in The Semantic Foundations of Logic Volume 1: Propositional Logics, Springer, 1990, pp. 315\u2013321.","DOI":"10.1007\/978-94-009-0525-2_11"},{"issue":"4","key":"9930_CR21","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1080\/11663081.2014.980116","volume":"24","author":"TM Ferguson","year":"2014","unstructured":"Ferguson, T.M., A computational interpretation of conceptivism, Journal of Applied Non-Classical Logics 24(4):333\u2013367, 2014.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"5","key":"9930_CR22","doi-asserted-by":"publisher","first-page":"1617","DOI":"10.1093\/logcom\/exu048","volume":"26","author":"TM Ferguson","year":"2014","unstructured":"Ferguson, T.M., Faulty Belnap computers and subsystems of FDE, Journal of Logic and Computation 26(5):1617\u20131636, 2014.","journal-title":"Journal of Logic and Computation"},{"key":"9930_CR23","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10992-014-9321-y","volume":"44","author":"TM Ferguson","year":"2015","unstructured":"Ferguson, T.M., Logics of Nonsense and Parry Systems, Journal of Philosophical Logic 44:65\u201380, 2015.","journal-title":"Journal of Philosophical Logic"},{"key":"9930_CR24","doi-asserted-by":"crossref","unstructured":"Ferguson, T.M., Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry. Springer, 2017.","DOI":"10.1007\/978-3-319-70821-8"},{"issue":"1\u20133","key":"9930_CR25","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1111\/j.1755-2567.1993.tb00871.x","volume":"59","author":"V Finn","year":"1993","unstructured":"Finn, V., and R. Grigolia, Nonsense logics and their algebraic properties, Theoria 59(1-3):207\u2013273, 1993.","journal-title":"Theoria"},{"issue":"3","key":"9930_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J.M., Belnap\u2019s Four-Valued Logic and De Morgan Lattices, Logic Journal of IGPL 5(3):1\u201329, 1997.","journal-title":"Logic Journal of IGPL"},{"key":"9930_CR27","unstructured":"Font, J.M., Abstract Algebraic Logic: An Introductory Textbook. College Publications, 2016."},{"key":"9930_CR28","volume-title":"Residuated Lattices: an algebraic glimpse at substructural logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: an algebraic glimpse at substructural logics. Elsevier, Amsterdam, 2007."},{"key":"9930_CR29","volume-title":"The Logic of Nonsense","author":"S Halld\u00e9n","year":"1949","unstructured":"Halld\u00e9n, S., The Logic of Nonsense, Lundequistska Bokhandeln, Uppsala, 1949."},{"key":"9930_CR30","unstructured":"Iseki, K., BCK-algebras, Mathematical Seminar Notes 4:77\u201386, 1976."},{"key":"9930_CR31","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"J Kalman","year":"1958","unstructured":"Kalman, J., Lattices with involution, Transactions of the AMS 87:485\u2013491, 1958.","journal-title":"Transactions of the AMS"},{"issue":"2","key":"9930_CR32","first-page":"207","volume":"26","author":"A Karpenko","year":"2016","unstructured":"Karpenko, A., and N. Tomova, Bochvar\u2019s Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence, Logic and Logical Philosophy 26(2):207\u2013235, 2016.","journal-title":"Logic and Logical Philosophy"},{"key":"9930_CR33","unstructured":"L\u00e1vi\u010dka, T., An Abstract Study of Completeness in Infinitary Logics, PhD Thesis, Charles University, 2018."},{"key":"9930_CR34","doi-asserted-by":"crossref","unstructured":"Ledda, A., F. Paoli, and M. Pra Baldi, Algebraic Analysis of Demodalised Analytic Implication, Journal of Philosophical Logic 48:957\u2013979, 2019.","DOI":"10.1007\/s10992-019-09502-2"},{"key":"9930_CR35","unstructured":"Moisil, G., Recherches sur l\u2019alg\u00e8bre de la logique, Annales Scientifiques de l\u2019Universit\u00e9 de Jassy 22:1\u2013117, 1935."},{"key":"9930_CR36","unstructured":"Parry, W.T., Implication, PhD Thesis, Harvard University, 1932."},{"key":"9930_CR37","first-page":"53","volume":"27","author":"Y Petrukhin","year":"2018","unstructured":"Petrukhin, Y., Natural Deduction for Four-Valued both Regular and Monotonic Logics, Logic and Logical Philosophy 27:53\u201366, 2018.","journal-title":"Logic and Logical Philosophy"},{"issue":"2","key":"9930_CR38","doi-asserted-by":"publisher","first-page":"183","DOI":"10.4064\/fm-61-2-183-189","volume":"61","author":"J P\u0142onka","year":"1967","unstructured":"P\u0142onka, J., On a method of construction of abstract algebras, Fundamenta Mathematicae 61(2):183\u2013189, 1967.","journal-title":"Fundamenta Mathematicae"},{"key":"9930_CR39","doi-asserted-by":"publisher","first-page":"191","DOI":"10.4064\/fm-60-2-191-200","volume":"60","author":"J P\u0142onka","year":"1967","unstructured":"P\u0142onka, J., On distributive quasilattices, Fundamenta Mathematicae 60:191\u2013200, 1967.","journal-title":"Fundamenta Mathematicae"},{"key":"9930_CR40","doi-asserted-by":"crossref","unstructured":"P\u0142onka, J., On the sum of a direct system of universal algebras with nullary polynomials, Algebra Universalis 19(2):197\u2013207, 1984.","DOI":"10.1007\/BF01190429"},{"key":"9930_CR41","unstructured":"P\u0142onka, J., and A. Romanowska, Semilattice sums, in A.\u00a0Romanowska and J.\u00a0D.\u00a0H. Smith, (eds.), Universal Algebra and Quasigroup Theory, Heldermann, 1992, pp. 123\u2013158."},{"key":"9930_CR42","doi-asserted-by":"crossref","unstructured":"Pra\u00a0Baldi, M., Logics of variable inclusion and the lattice of consequence relations, Journal of Applied Non-Classical Logics 30(4):367\u2013381, 2020.","DOI":"10.1080\/11663081.2020.1835330"},{"key":"9930_CR43","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G., The Logic of Paradox, Journal of Philosophical Logic 8:219\u2013241, 1979.","journal-title":"Journal of Philosophical Logic"},{"key":"9930_CR44","doi-asserted-by":"crossref","unstructured":"Priest, G., The Logic of Catuskoti, Comparative Philosophy 1(2):24\u201354, 2010.","DOI":"10.31979\/2151-6014(2010).010206"},{"issue":"4","key":"9930_CR45","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"A Pynko","year":"1995","unstructured":"Pynko, A., Characterizing Belnap\u2019s Logic via De Morgan\u2019s Laws, Mathematical Logic Quarterly 41(4):442\u2013454, 1995.","journal-title":"Mathematical Logic Quarterly"},{"issue":"2","key":"9930_CR46","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"A Pynko","year":"1995","unstructured":"Pynko, A., On Priest\u2019s logic of paradox, Journal of Applied Non-Classical Logics, 5(2):219\u2013225, 1995.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"6","key":"9930_CR47","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1002\/malq.201200020","volume":"59","author":"JG Raftery","year":"2013","unstructured":"Raftery, J.G., Inconsistency lemmas in algebraic logic, Mathematical Logic Quarterly 59(6):393\u2013406, 2013.","journal-title":"Mathematical Logic Quarterly"},{"issue":"4","key":"9930_CR48","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1080\/11663081.2017.1290488","volume":"26","author":"D Szmuc","year":"2016","unstructured":"Szmuc, D., Defining LFIs and LFUs in extensions of infectious logics, Journal of Applied Non-Classical Logics 26(4):286\u2013314, 2016.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9930_CR49","first-page":"223","volume":"15","author":"N Tomova","year":"2009","unstructured":"Tomova, N., About four-valued regular logics, Logical Investigations 15:223\u2013228, 2009, (in Russian).","journal-title":"About four-valued regular logics. Logical Investigations"},{"key":"9930_CR50","doi-asserted-by":"crossref","unstructured":"Urquhart, A., Basic Many-Valued Logic, in D.\u00a0M. Gabbay and F.\u00a0Guenthner, (eds.), Handbook of Philosophical Logic, Springer Netherlands, Dordrecht, 2001, pp. 249\u2013295.","DOI":"10.1007\/978-94-017-0452-6_4"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09930-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09930-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09930-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T14:19:44Z","timestamp":1697897984000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09930-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,18]]},"references-count":50,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["9930"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09930-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,18]]},"assertion":[{"value":"4 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}