{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:26:19Z","timestamp":1760171179823},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T00:00:00Z","timestamp":1586736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T00:00:00Z","timestamp":1586736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s00153-020-00727-6","type":"journal-article","created":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T16:02:41Z","timestamp":1586793761000},"page":"49-76","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Logics of left variable inclusion and P\u0142onka sums of matrices"],"prefix":"10.1007","volume":"60","author":[{"given":"S.","family":"Bonzio","sequence":"first","affiliation":[]},{"given":"T.","family":"Moraschini","sequence":"additional","affiliation":[]},{"given":"M.","family":"Pra\u00a0Baldi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,13]]},"reference":[{"key":"727_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/9781439851302","volume-title":"Universal Algebra: Fundamentals and Selected Topics","author":"C Bergman","year":"2011","unstructured":"Bergman, C.: Universal Algebra: Fundamentals and Selected Topics. Chapman and Hall\/CRC, Berlin (2011)"},{"issue":"3","key":"727_CR2","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s00012-015-0323-6","volume":"73","author":"C Bergman","year":"2015","unstructured":"Bergman, C., Failing, D.: Commutative idempotent groupoids and the constraint satisfaction problem. Algebra Univers. 73(3), 391\u2013417 (2015)","journal-title":"Algebra Univers."},{"key":"727_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"727_CR4","volume-title":"Algebraizable Logics","author":"W Blok","year":"1989","unstructured":"Blok, W., Pigozzi, D.: Algebraizable Logics. American Mathematical Society, New York (1989)"},{"key":"727_CR5","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W Blok","year":"1986","unstructured":"Blok, W., Pigozzi, D.: Protoalgebraic logics. Stud. Log. 45, 337\u2013369 (1986)","journal-title":"Stud. Log."},{"key":"727_CR6","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W Blok","year":"1992","unstructured":"Blok, W., Pigozzi, D.: Algebraic semantics for universal Horn logic without equality. In: Romanowska, A., Smith, J. (eds.) Universal Algebra and Quasigroup Theory, pp. 1\u201356. Heldermann, Berlin (1992)"},{"key":"727_CR7","first-page":"287","volume":"4","author":"D Bochvar","year":"1938","unstructured":"Bochvar, D.: On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus. Mathe. Sb. 4, 287\u2013308 (1938)","journal-title":"Mathe. Sb."},{"key":"727_CR8","unstructured":"Boem, F., Bonzio, S., Osimani, B.: A logic for scientific attitude? (2020) (submitted)"},{"issue":"3","key":"727_CR9","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s11787-018-0209-4","volume":"12","author":"S Bonzio","year":"2018","unstructured":"Bonzio, S.: Dualities for P\u0142onka sums. Log. Univers. 12(3), 327\u2013339 (2018)","journal-title":"Log. Univers."},{"issue":"2","key":"727_CR10","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s11225-016-9689-5","volume":"105","author":"S Bonzio","year":"2017","unstructured":"Bonzio, S., Gil-F\u00e9rez, J., Paoli, F., Peruzzi, L.: On paraconsistent weak kleene logic: axiomatization and algebraic analysis. Stud. Log. 105(2), 253\u2013297 (2017)","journal-title":"Stud. Log."},{"issue":"2","key":"727_CR11","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/s11225-018-9801-0","volume":"107","author":"S Bonzio","year":"2019","unstructured":"Bonzio, S., Loi, A., Peruzzi, L.: A duality for involutive bisemilattices. Stud. Log. 107(2), 423\u2013444 (2019)","journal-title":"Stud. Log."},{"key":"727_CR12","doi-asserted-by":"crossref","unstructured":"Bonzio, S., Pra Baldi, M.: Containment logics: algebraic completeness and axiomatization (2020) (submitted)","DOI":"10.1007\/s11225-020-09930-1"},{"key":"727_CR13","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-030-02149-8_11","volume-title":"Relational and Algebraic Methods in Computer Science","author":"S Bonzio","year":"2018","unstructured":"Bonzio, S., Pra Baldi, M., Valota, D.: Counting finite linearly ordered involutive bisemilattices. In: Desharnais, J., Guttmann, W., Joosten, S. (eds.) Relational and Algebraic Methods in Computer Science, pp. 166\u2013183. Springer, Berlin (2018)"},{"key":"727_CR14","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. The Millennium Edition (2012)"},{"issue":"3","key":"727_CR15","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s00012-017-0455-y","volume":"78","author":"MA Campercholi","year":"2017","unstructured":"Campercholi, M.A., Raftery, J.G.: Relative congruence formulas and decompositions in quasivarieties. Algebra Univers. 78(3), 407\u2013425 (2017)","journal-title":"Algebra Univers."},{"issue":"1","key":"727_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00012-012-0189-9","volume":"68","author":"MA Campercholi","year":"2012","unstructured":"Campercholi, M.A., Vaggione, D.J.: Implicit definition of the quaternary discriminator. Algebra Univers. 68(1), 1\u201316 (2012)","journal-title":"Algebra Univers."},{"key":"727_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)"},{"key":"727_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers, Berlin (2000)"},{"key":"727_CR19","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. Volumes 1 and 2. Studies in Logic. Mathematical Logic and Foundations. College Publications, Berlin (2011)"},{"key":"727_CR20","first-page":"165","volume-title":"New Directions in Logic and the Philosophy of Science","author":"R Ciuni","year":"2016","unstructured":"Ciuni, R., Carrara, M.: Characterizing logical consequence in paraconsistent weak Kleene. In: Felline, L., Ledda, A., Paoli, F., Rossanese, E. (eds.) New Directions in Logic and the Philosophy of Science, pp. 165\u2013176. College Publications, Berlin (2016)"},{"issue":"5","key":"727_CR21","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1093\/logcom\/exz009","volume":"29","author":"R Ciuni","year":"2019","unstructured":"Ciuni, R., Ferguson, T.M., Szmuc, D.: Logics based on linear orders of contaminating values. J. Log. Comput. 29(5), 631\u2013663 (2019)","journal-title":"J. Log. Comput."},{"key":"727_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J Czelakowski","year":"2001","unstructured":"Czelakowski, J.: Protoalgebraic Logics. Kluwer Academic Publishers, Berlin (2001)"},{"key":"727_CR23","first-page":"251","volume":"53","author":"B Da R\u00e9","year":"2018","unstructured":"Da R\u00e9, B., Pailos, F., Szmuc, D.: Theories of truth based on four-valued infectious logics. Log. J. IGPL 53, 251\u2013252 (2018)","journal-title":"Log. J. IGPL"},{"key":"727_CR24","volume-title":"Universal Algebra and Applications in Theoretical Computer Science","author":"K Denecke","year":"2002","unstructured":"Denecke, K., Wismath, S.L.: Universal Algebra and Applications in Theoretical Computer Science. Chapman and Hall, London (2002)"},{"key":"727_CR25","unstructured":"Diego, A.: Sobre \u00e1lgebras de Hilbert. Notas de L\u00f3gica Matem\u00e1tica, vol. 12. Universidad Nacional del Sur, Bah\u00eda Blanca (Argentina) (1965)"},{"key":"727_CR26","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"727_CR27","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1080\/11663081.2014.980116","volume":"24","author":"T Ferguson","year":"2014","unstructured":"Ferguson, T.: A computational interpretation of conceptivism. J. Appl. Nonclass. Log. 24(4), 333\u2013367 (2014)","journal-title":"J. Appl. Nonclass. Log."},{"key":"727_CR28","volume-title":"Abstract Algebraic Logic: An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font, J.M.: Abstract Algebraic Logic: An Introductory Textbook. College Publications, Berlin (2016)"},{"key":"727_CR29","volume-title":"A General Algebraic Semantics for Sentential Logics","author":"JM Font","year":"2009","unstructured":"Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. A.S.L., New York (2009)"},{"issue":"1\u20132","key":"727_CR30","first-page":"13","volume":"74","author":"JM Font","year":"2003","unstructured":"Font, J.M., Jansana, R., Pigozzi, D.: A survey on abstract algebraic logic. Stud. Log. Spec. Issue Abstr. Algebraic Log. Part II 74(1\u20132), 13\u201397 (2003)","journal-title":"Stud. Log. Spec. Issue Abstr. Algebraic Log. Part II"},{"key":"727_CR31","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"key":"727_CR32","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1017\/S1446788700034224","volume":"51","author":"G Gierz","year":"1991","unstructured":"Gierz, G., Romanowska, A.: Duality for distributive bisemilattices. J. Aust. Math. Soc. A 51, 247\u2013275 (1991)","journal-title":"J. Aust. Math. Soc. A"},{"key":"727_CR33","unstructured":"Halld\u00e9n, S.: The Logic of Nonsense. Uppsala Universitets \u00c5rsskrift (1949)"},{"issue":"1","key":"727_CR34","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s11083-016-9388-x","volume":"34","author":"J Harding","year":"2017","unstructured":"Harding, J., Romanowska, A.: Varieties of Birkhoff systems: part I. Order 34(1), 45\u201368 (2017)","journal-title":"Order"},{"issue":"1","key":"727_CR35","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s11083-016-9392-1","volume":"34","author":"J Harding","year":"2017","unstructured":"Harding, J., Romanowska, A.: Varieties of Birkhoff systems: part ii. Order 34(1), 69\u201389 (2017)","journal-title":"Order"},{"key":"727_CR36","doi-asserted-by":"crossref","unstructured":"Jansana, R., Moraschini, T.: The poset of all logics I: interpretations and lattice structure (2019) (submitted)","DOI":"10.1007\/s11225-020-09916-z"},{"key":"727_CR37","unstructured":"Jansana, R., Moraschini, T.: The poset of all logics II: Leibniz classes and hierarchy (2019) (submitted)"},{"key":"727_CR38","doi-asserted-by":"crossref","unstructured":"Jansana, R., Moraschini, T.: The poset of all logics III: finitely presentable logics. Stud. Log. (2020)","DOI":"10.1007\/s11225-020-09916-z"},{"issue":"71","key":"727_CR39","doi-asserted-by":"crossref","first-page":"161","DOI":"10.4064\/fm-71-2-161-163","volume":"2","author":"J Kalman","year":"1971","unstructured":"Kalman, J.: Subdirect decomposition of distributive quasilattices. Fundam. Math. 2(71), 161\u2013163 (1971)","journal-title":"Fundam. Math."},{"key":"727_CR40","volume-title":"Introduction to Metamathematics","author":"S Kleene","year":"1952","unstructured":"Kleene, S.: Introduction to Metamathematics. North Holland, Amsterdam (1952)"},{"key":"727_CR41","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/BF02488038","volume":"9","author":"J Koll\u00e1r","year":"1979","unstructured":"Koll\u00e1r, J.: Congruences and one-element subalgebras. Algebra Univers. 9, 266\u2013267 (1979)","journal-title":"Algebra Univers."},{"key":"727_CR42","volume-title":"Tools and Techniques in Modal Logic","author":"M Kracht","year":"1999","unstructured":"Kracht, M.: Tools and Techniques in Modal Logic. North-Holland Publishing Co., Amsterdam (1999)"},{"key":"727_CR43","volume-title":"Modal Consequence Relations, Chapter 8 of the Handbook of Modal Logic","author":"M Kracht","year":"2006","unstructured":"Kracht, M.: Modal Consequence Relations, Chapter 8 of the Handbook of Modal Logic. Elsevier, Berlin (2006)"},{"key":"727_CR44","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1215\/S0012-7094-72-03954-3","volume":"39","author":"H Lakser","year":"1972","unstructured":"Lakser, H., Padmanabhan, R., Platt, C.R.: Subdirect decomposition of P\u0142onka sums. Duke Math. J. 39, 485\u2013488 (1972)","journal-title":"Duke Math. J."},{"key":"727_CR45","unstructured":"L\u00e1vi\u010dka, T.: An abstract study of completeness in infinitary logics. Ph.D. Thesis, Charles University (2018)"},{"issue":"2","key":"727_CR46","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s11225-017-9745-9","volume":"106","author":"A Ledda","year":"2018","unstructured":"Ledda, A.: Stone-type representations and dualities for varieties of bisemilattices. Stud. Log. 106(2), 417\u2013448 (2018)","journal-title":"Stud. Log."},{"key":"727_CR47","unstructured":"Libkin, L.: Aspects of partial information in databases. Ph.D. Thesis, University of Pennsylvania (1994)"},{"key":"727_CR48","volume-title":"Algebras, Lattices, Varieties","author":"R\u00a0N McKenzie","year":"1987","unstructured":"McKenzie, R\u00a0.N., McNulty, G\u00a0.F., Taylor, W\u00a0.F.: Algebras, Lattices, Varieties, vol. I. Wadsworth & Brooks\/Cole Advanced Books & Software, Berlin (1987)"},{"key":"727_CR49","doi-asserted-by":"crossref","unstructured":"Paoli, F.: Substructural Logics: A Primer. Trends in Logic-Studia Logica Library, vol. 13. Kluwer Academic Publishers, Dordrecht (2002)","DOI":"10.1007\/978-94-017-3179-9"},{"key":"727_CR50","unstructured":"Peruzzi, L.: Algebraic approach to paraconsistent weak Kleene logic. Ph.D. Thesis, University of Cagliari (2018)"},{"issue":"2","key":"727_CR51","doi-asserted-by":"crossref","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. Fundam. Math. 61(2), 183\u2013189 (1967)","journal-title":"Fundam. Math."},{"key":"727_CR52","doi-asserted-by":"crossref","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. Fundam. Math. 60, 191\u2013200 (1967)","journal-title":"Fundam. Math."},{"key":"727_CR53","first-page":"123","volume-title":"Universal Algebra and Quasigroup Theory","author":"J P\u0142onka","year":"1992","unstructured":"P\u0142onka, J., Romanowska, A.: Semilattice sums. In: Romanowska, A., Smith, J. (eds.) Universal Algebra and Quasigroup Theory, pp. 123\u2013158. Heldermann, New York (1992)"},{"key":"727_CR54","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philos. Log. 8, 219\u2013241 (1979)","journal-title":"J. Philos. Log."},{"key":"727_CR55","volume-title":"Time and Modality","author":"A Prior","year":"1957","unstructured":"Prior, A.: Time and Modality. Oxford University Press, Oxford (1957)"},{"key":"727_CR56","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1007\/3-540-57182-5_56","volume-title":"Mathematical Foundations of Computer Science 1993","author":"H Puhlmann","year":"1993","unstructured":"Puhlmann, H.: The snack powerdomain for database semantics. In: Borzyszkowski, A.M., Soko\u0142owski, S. (eds.) Mathematical Foundations of Computer Science 1993, pp. 650\u2013659. Springer, Berlin (1993)"},{"key":"727_CR57","doi-asserted-by":"crossref","first-page":"275","DOI":"10.2989\/16073606.2011.622856","volume":"34","author":"JG Raftery","year":"2011","unstructured":"Raftery, J.G.: A perspective on the algebra of logic. Quaest. Math. 34, 275\u2013325 (2011)","journal-title":"Quaest. Math."},{"issue":"6","key":"727_CR58","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1002\/malq.201200020","volume":"59","author":"JG Raftery","year":"2013","unstructured":"Raftery, J.G.: Inconsistency lemmas in algebraic logic. Math. Log. Quart. 59(6), 393\u2013406 (2013)","journal-title":"Math. Log. Quart."},{"key":"727_CR59","doi-asserted-by":"crossref","DOI":"10.1142\/4953","volume-title":"Modes","author":"A Romanowska","year":"2002","unstructured":"Romanowska, A., Smith, J.: Modes. World Scientific, Singapore (2002)"},{"issue":"3","key":"727_CR60","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0022-4049(96)00026-6","volume":"115","author":"A Romanowska","year":"1997","unstructured":"Romanowska, A., Smith, J.D.: Duality for semilattice representations. J. Pure Appl. Algebra 115(3), 289\u2013308 (1997)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"727_CR61","doi-asserted-by":"crossref","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. J. Appl. Nonclass. Log. 26(4), 286\u2013314 (2016)","journal-title":"J. Appl. Nonclass. Log."},{"key":"727_CR62","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","volume-title":"Handbook of Philosophical Logic","author":"A Urquhart","year":"2001","unstructured":"Urquhart, A.: Basic many-valued logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 249\u2013295. Springer, Berlin (2001)"},{"key":"727_CR63","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi. Basic Theory of Consequence Operations","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi. Basic Theory of Consequence Operations. Reidel, Dordrecht (1988)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00727-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-020-00727-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00727-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T22:37:21Z","timestamp":1722724641000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-020-00727-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,13]]},"references-count":63,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["727"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00727-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,4,13]]},"assertion":[{"value":"18 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 April 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}