{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:08Z","timestamp":1759146368971,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T00:00:00Z","timestamp":1598832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T00:00:00Z","timestamp":1598832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002809","name":"Generalitat de Catalunya","doi-asserted-by":"publisher","award":["2017 SGR 95"],"award-info":[{"award-number":["2017 SGR 95"]}],"id":[{"id":"10.13039\/501100002809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Education, Youth and Sports of the Czech Republic","award":["CZ.02.2.69\/0.0\/0.0\/17 050\/000836","OPVVV M\u0160MT"],"award-info":[{"award-number":["CZ.02.2.69\/0.0\/0.0\/17 050\/000836","OPVVV M\u0160MT"]}]},{"name":"Ministry of Education, Youth and Sports of the Czech Republic","award":["MSCA-IF Lidsk\u00e9 zdroje v teoretick\u00e9 informatice"],"award-info":[{"award-number":["MSCA-IF Lidsk\u00e9 zdroje v teoretick\u00e9 informatice"]}]},{"DOI":"10.13039\/100014440","name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","doi-asserted-by":"publisher","award":["MTM2016-74892-P","BEAGAL18\/00040"],"award-info":[{"award-number":["MTM2016-74892-P","BEAGAL18\/00040"]}],"id":[{"id":"10.13039\/100014440","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,6]]},"DOI":"10.1007\/s11225-020-09916-z","type":"journal-article","created":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T16:03:38Z","timestamp":1598889818000},"page":"539-580","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The Poset of All Logics III: Finitely Presentable Logics"],"prefix":"10.1007","volume":"109","author":[{"given":"Ramon","family":"Jansana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Moraschini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,31]]},"reference":[{"issue":"2","key":"9916_CR1","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s00012-014-0273-4","volume":"71","author":"W Bentz","year":"2014","unstructured":"Bentz, W., and L.\u00a0Sequeira, Taylor\u2019s modularity conjecture holds for linear idempotent varieties, Algebra Universalis 71(2): 101\u2013102, 2014.","journal-title":"Algebra Universalis"},{"key":"9916_CR2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"WJ Blok","year":"1986","unstructured":"Blok, W.\u00a0J., and D.\u00a0Pigozzi, Protoalgebraic logics, Studia Logica 45: 337\u2013369, 1986.","journal-title":"Studia Logica"},{"key":"9916_CR3","doi-asserted-by":"crossref","unstructured":"Blok, W.\u00a0J., and D.\u00a0Pigozzi, Algebraizable logics, volume 396 of Mem. Amer. Math. Soc. A.M.S., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9916_CR4","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"WJ Blok","year":"1992","unstructured":"Blok, W.\u00a0J., and D.\u00a0Pigozzi, Algebraic semantics for universal Horn logic without equality, in A.\u00a0Romanowska, and J.\u00a0D.\u00a0H. Smith, (eds.), Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1992, pp. 1\u201356."},{"issue":"1","key":"9916_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s000120050198","volume":"45","author":"WJ Blok","year":"2001","unstructured":"Blok, W.\u00a0J., and J.\u00a0G. Raftery, On congruence modularity in varieties of logic, Algebra Universalis 45(1): 15\u201321, 2001.","journal-title":"Algebra Universalis"},{"issue":"4","key":"9916_CR6","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1142\/S0218196708004627","volume":"18","author":"WJ Blok","year":"2008","unstructured":"Blok, W.\u00a0J., and J.\u00a0G. Raftery, Assertionally equivalent quasivarieties, International Journal of Algebra and Computation 18(4): 589\u2013681, 2008.","journal-title":"International Journal of Algebra and Computation"},{"issue":"5","key":"9916_CR7","first-page":"153","volume":"74","author":"WJ Blok","year":"2003","unstructured":"Blok, W.\u00a0J., and J.\u00a0Rebagliato, Algebraic semantics for deductive systems, Studia Logica, Special Issue on Abstract Algebraic Logic, Part II 74(5): 153\u2013180, 2003.","journal-title":"Studia Logica, Special Issue on Abstract Algebraic Logic, Part II"},{"key":"9916_CR8","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., Protoalgebraic logics, volume\u00a010 of Trends in Logic\u2014Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"issue":"5","key":"9916_CR9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/A:1024678007488","volume":"74","author":"J Czelakowski","year":"2003","unstructured":"Czelakowski, J., The Suszko Operator. Part I, Studia Logica 74(5): 181\u2013231, 2003.","journal-title":"Studia Logica"},{"issue":"2","key":"9916_CR10","doi-asserted-by":"publisher","first-page":"641","DOI":"10.2307\/2586559","volume":"65","author":"J Czelakowski","year":"2000","unstructured":"Czelakowski, J., and R.\u00a0Jansana, Weakly algebraizable logics, The Journal of Symbolic Logic 65(2): 641\u2013668, 2000.","journal-title":"The Journal of Symbolic Logic"},{"key":"9916_CR11","unstructured":"Font, J.\u00a0M., Abstract Algebraic Logic\u2014An Introductory Textbook, volume\u00a060 of Studies in Logic\u2014Mathematical Logic and Foundations, College Publications, London, 2016."},{"key":"9916_CR12","unstructured":"Font, J.\u00a0M., and R.\u00a0Jansana, A general algebraic semantics for sentential logics, volume\u00a07 of Lecture Notes in Logic. A.S.L., second edition 2017 edition, 2009. First edition 1996. Electronic version freely available through Project Euclid at projecteuclid.org\/euclid.lnl\/1235416965."},{"issue":"1\u20132","key":"9916_CR13","first-page":"13","volume":"74","author":"JM Font","year":"2003","unstructured":"Font, J.\u00a0M., R.\u00a0Jansana, and D.\u00a0Pigozzi, A survey on abstract algebraic logic, Studia Logica, Special Issue on Abstract Algebraic Logic, Part II, 74(1\u20132): 13\u201397, 2003. With an \u201cUpdate\u201d in 91 (2009), 125\u2013130.","journal-title":"Studia Logica, Special Issue on Abstract Algebraic Logic, Part II"},{"key":"9916_CR14","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, O.\u00a0C., and W.\u00a0Taylor, The Lattice of Interpretability Types of Varieties, volume\u00a050. Mem. Amer. Math. Soc., 1984.","DOI":"10.1090\/memo\/0305"},{"key":"9916_CR15","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1016\/S0021-9800(70)80086-2","volume":"8","author":"G Gr\u00e4tzer","year":"1970","unstructured":"Gr\u00e4tzer, G., Two Mal\u00e4cev-Type Theorems in Universal Algebra, Journal of Combinatorial Theory 8: 334\u2013342, 1970.","journal-title":"Journal of Combinatorial Theory"},{"key":"9916_CR16","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"B Herrmann","year":"1997","unstructured":"Herrmann, B., Characterizing equivalential and algebraizable logics by the Leibniz operator, Studia Logica 58: 305\u2013323, 1997.","journal-title":"Studia Logica"},{"key":"9916_CR17","doi-asserted-by":"crossref","unstructured":"Hobby, D., and R.\u00a0McKenzie, The structure of finite algebras, volume\u00a076 of Contemporary Mathematics. American Mathematical Society, Providence, RI, 1988.","DOI":"10.1090\/conm\/076"},{"key":"9916_CR18","unstructured":"Jansana, R., and T.\u00a0Moraschini, The Poset of All Logics I: Interpretations and Lattice Structure. Submitted manuscript. Available on ArXiv, 2019."},{"key":"9916_CR19","unstructured":"Jansana, R., and T.\u00a0Moraschini, The Poset of All Logics II: Leibniz Classes and Hierarchy. Submitted manuscript. Available on ArXiv, 2019."},{"key":"9916_CR20","unstructured":"Jansana, R., and T.\u00a0Moraschini, The Poset of All Logics IV: Irreducible Elements. Manuscript, 2020."},{"key":"9916_CR21","doi-asserted-by":"crossref","unstructured":"Kearnes, K.\u00a0A., and E.\u00a0W. Kiss, The shape of congruences lattices, volume 222 of Mem. Amer. Math. Soc. American Mathematical Society, 2013. Monograph.","DOI":"10.1090\/S0065-9266-2012-00667-8"},{"issue":"4","key":"9916_CR22","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1017\/S175502031800014X","volume":"11","author":"T Moraschini","year":"2018","unstructured":"Moraschini, T., A study of the truth predicates of matrix semantics, Review of Symbolic Logic 11(4): 780\u2013804, 2018.","journal-title":"Review of Symbolic Logic"},{"issue":"7","key":"9916_CR23","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/j.apal.2019.02.003","volume":"170","author":"T Moraschini","year":"2019","unstructured":"Moraschini, T., On the complexity of the Leibniz hierarchy, Annals of Pure and Applied Logic 170(7): 805\u2013824, 2019.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"37","key":"9916_CR24","first-page":"11","volume":"80","author":"T Moraschini","year":"2019","unstructured":"Moraschini, T., and J.\u00a0G. Raftery, On prevarieties of logic, Algebra Universalis 80(37): 11, 2019.","journal-title":"Algebra Universalis"},{"key":"9916_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1446788700005899","volume":"11","author":"WD Neumann","year":"1970","unstructured":"Neumann, W.\u00a0D., Representing varieties of algebras by algebras, Journal of the Australian Mathematical Society 11: 1\u20138, 1970.","journal-title":"Journal of the Australian Mathematical Society"},{"key":"9916_CR26","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1017\/S1446788700017122","volume":"17","author":"WD Neumann","year":"1974","unstructured":"Neumann, W.\u00a0D., On Mal\u2019cev conditions, Journal of the Australian Mathematical Society 17: 376\u2013384, 1974.","journal-title":"Journal of the Australian Mathematical Society"},{"issue":"3","key":"9916_CR27","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s11083-017-9441-4","volume":"35","author":"J Opr\u0161al","year":"2018","unstructured":"Opr\u0161al, J., Taylor\u2019s modularity conjecture and related problems for idempotent varieties, Order 35(3): 433\u2013460, 2018.","journal-title":"Order"},{"key":"9916_CR28","doi-asserted-by":"publisher","first-page":"559","DOI":"10.4153\/CMB-1972-098-8","volume":"15","author":"AF Pixley","year":"1972","unstructured":"Pixley, A.\u00a0F., Local mal\u2019cev conditions, Canadian Mathematical Bulletin 15: 559\u2013568, 1972.","journal-title":"Canadian Mathematical Bulletin"},{"key":"9916_CR29","first-page":"95","volume":"41","author":"JG Raftery","year":"2006","unstructured":"Raftery, J.\u00a0G., The equational definability of truth predicates, Reports on Mathematical Logic 41: 95\u2013149, 2006.","journal-title":"Reports on Mathematical Logic"},{"key":"9916_CR30","doi-asserted-by":"publisher","first-page":"275","DOI":"10.2989\/16073606.2011.622856","volume":"34","author":"JG Raftery","year":"2011","unstructured":"Raftery, J.\u00a0G., A perspective on the algebra of logic, Quaestiones Mathematicae 34: 275\u2013325, 2011.","journal-title":"Quaestiones Mathematicae"},{"key":"9916_CR31","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/BF02945141","volume":"3","author":"W Taylor","year":"1973","unstructured":"Taylor, W., Characterizing Mal\u2019cev conditions, Algebra Universalis 3: 351\u2013397, 1973.","journal-title":"Algebra Universalis"},{"key":"9916_CR32","doi-asserted-by":"publisher","first-page":"498","DOI":"10.4153\/CJM-1977-054-9","volume":"29","author":"W Taylor","year":"1977","unstructured":"Taylor, W., Varieties obeying homotopy laws, Canadian Journal of Mathematics 29: 498\u2013527, 1977.","journal-title":"Canadian Journal of Mathematics"},{"key":"9916_CR33","unstructured":"Tschantz, S., Congruence permutability is join prime, Unpublished manuscript, 1996."},{"key":"9916_CR34","doi-asserted-by":"crossref","unstructured":"Wille, R., Kongruenzklassengeometrien, Number 113 in Springer Lecture Notes. 1970.","DOI":"10.1007\/BFb0060213"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09916-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09916-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09916-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T18:05:01Z","timestamp":1668189901000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09916-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,31]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9916"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09916-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,8,31]]},"assertion":[{"value":"24 July 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}