{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T07:09:56Z","timestamp":1774595396024,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T00:00:00Z","timestamp":1765843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T00:00:00Z","timestamp":1765843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1007\/s11225-025-10217-6","type":"journal-article","created":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T08:34:19Z","timestamp":1765874059000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Editorial Introduction"],"prefix":"10.1007","volume":"114","author":[{"given":"Nikolaos","family":"Galatos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2513-270X","authenticated-orcid":false,"given":"Ciro","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,12,16]]},"reference":[{"issue":"13","key":"10217_CR1","first-page":"381","volume":"13","author":"ME Adams","year":"1976","unstructured":"Adams, M.E., Implicational classes of pseudocomplemented distributive lattices, Acta Scientiarum Mathematicarum (Szeged), 13(13):381\u2013384, 1976.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"10217_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF02485230","volume":"5","author":"PD Bacsich","year":"1975","unstructured":"Bacsich, P.D., Amalgamation properties and interpolation theorems for equational theories, Algebra Universalis 5:45\u201355, 1975.","journal-title":"Algebra Universalis"},{"key":"10217_CR3","doi-asserted-by":"crossref","unstructured":"Bahls, P., J. Cole, N. Galatos, P. Jipsen, and C. Tsinakis, Cancellative residuated lattices, Algebra Universalis 50(1):83\u2013106, 2003.","DOI":"10.1007\/s00012-003-1822-4"},{"key":"10217_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok, W.J., and B. J\u00f3nsson, Equivalence of consequence operators, Studia Logica 83:91\u2013110, 2006.","journal-title":"Studia Logica"},{"key":"10217_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.jalgebra.2015.10.015","volume":"450","author":"M Botur","year":"2016","unstructured":"Botur, M., J. K\u00fchr, L. Liu, and C. Tsinakis, The Conrad program: From $$\\ell $$-groups to algebras of logic, Journal of Algebra 450:173\u2013203, 2016.","journal-title":"Journal of Algebra"},{"issue":"4","key":"10217_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount, K., and C. Tsinakis, The structure of residuated lattices, International Journal of Algebra and Computation 13(4):437\u2013461, 2003.","journal-title":"International Journal of Algebra and Computation"},{"key":"10217_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.21136\/CMJ.1965.100656","volume":"15","author":"P Conrad","year":"1965","unstructured":"Conrad, P., The lattice of all convex $$\\ell $$-subgroups of a lattice-ordered group, Czechoslovak Mathematical Journal 15:101\u2013123, 1965.","journal-title":"Czechoslovak Mathematical Journal"},{"key":"10217_CR8","unstructured":"Czelakowski, J., and D. Pigozzi, Amalgamation and interpolation in abstract algebraic logic, in X. Caicedo, and C.H. Montenegro, (eds.), Models, Algebras, and Proofs, Marcel Dekker, 1999, pp. 187\u2013265."},{"key":"10217_CR9","doi-asserted-by":"crossref","unstructured":"Dvurecenskij, A., Pseudo MV-algebras are intervals in $$\\ell $$-groups, Journal of the Australian Mathematical Society 72(3):427\u2013445, 2002.","DOI":"10.1017\/S1446788700036806"},{"key":"10217_CR10","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, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 2007."},{"issue":"1","key":"10217_CR11","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","volume":"283","author":"N Galatos","year":"2005","unstructured":"Galatos, N., and C. Tsinakis, Generalized MV-algebras, Journal of Algebra 283(1):254\u2013291, 2005.","journal-title":"Journal of Algebra"},{"issue":"3","key":"10217_CR12","doi-asserted-by":"publisher","first-page":"780","DOI":"10.2178\/jsl\/1245158085","volume":"74","author":"N Galatos","year":"2009","unstructured":"Galatos, N., and C. Tsinakis, Consequence relations: an order-theoretic and categorical perspective, Journal of Symbolic Logic 74(3):780\u2013810, 2009.","journal-title":"Journal of Symbolic Logic"},{"key":"10217_CR13","doi-asserted-by":"crossref","unstructured":"Gil F\u00e9rez, J., A. Ledda, F. Paoli, and C. Tsinakis, Projectable l-groups and algebras of logic: Categorical and algebraic connections, Journal of Pure and Applied Algebra 220(10):3514\u20133532, 2016.","DOI":"10.1016\/j.jpaa.2016.04.013"},{"key":"10217_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998."},{"issue":"4","key":"10217_CR15","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","author":"JB Hart","year":"2002","unstructured":"Hart, J.B., L. Rafter, and C. Tsinakis, The structure of commutative residuated lattices, International Journal of Algebra and Computation 12(4):509\u2013524, 2002.","journal-title":"International Journal of Algebra and Computation"},{"key":"10217_CR16","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1090\/S0002-9947-1994-1211409-2","volume":"341","author":"JB Hart","year":"1994","unstructured":"Hart, B.J., and C. Tsinakis, Decompositions for relatively normal lattices, Transactions of the American Mathematical Society 341:519\u2013548, 1994.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10217_CR17","doi-asserted-by":"crossref","unstructured":"Jipsen, P., and C. Tsinakis, A survey of residuated lattices, in J. Martinez, (ed.), Ordered Algebraic Structures, Kluwer, Dordrecht, 2002, pp. 19\u201356.","DOI":"10.1007\/978-1-4757-3627-4_3"},{"key":"10217_CR18","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson, B., and C. Tsinakis, Relation algebras as residuated Boolean algebras, Algebra Universalis 30(4):469\u2013478, 1993.","DOI":"10.1007\/BF01195378"},{"key":"10217_CR19","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1023\/B:STUD.0000037130.29400.97","volume":"77","author":"B J\u00f3nsson","year":"2004","unstructured":"J\u00f3nsson, B., and C. Tsinakis, Products of classes of residuated structures, Studia Logica 77:267\u2013292, 2004.","journal-title":"Studia Logica"},{"key":"10217_CR20","unstructured":"Katri\u0148\u00e1k, T., Construction of regular double p-algebras, Bulletin de la Soci\u00e9t\u00e9 Royale des Sciences de Li\u00e8ge 43:283\u2013290, 1974."},{"issue":"2","key":"10217_CR21","first-page":"247","volume":"126","author":"VM Kopytov","year":"1985","unstructured":"Kopytov, V.M., A non-Abelian variety of lattice-ordered groups in which each solvable $$\\ell $$-group is Abelian, Matematicheskii Sbornik 126(2):247\u2013266, 1985.","journal-title":"Mat. Sb."},{"key":"10217_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s11225-006-7202-2","volume":"82","author":"A Ledda","year":"2006","unstructured":"Ledda, A., M. Konig, F. Paoli, and R. Giuntini, MV-algebras and quantum computation, Studia Logica 82:245\u2013270, 2006.","journal-title":"Studia Logica"},{"issue":"4","key":"10217_CR23","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/s00012-018-0573-1","volume":"79","author":"A Ledda","year":"2018","unstructured":"Ledda, A., F. Paoli, and C. Tsinakis, The Archimedean property: new horizons and perspectives, Algebra Universalis 79(4):90\u2013119, 2018.","journal-title":"Algebra Universalis"},{"key":"10217_CR24","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02945124","volume":"3","author":"J Martinez","year":"1973","unstructured":"Martinez, J., Archimedean lattices, Algebra Universalis 3:247\u2013260, 1973.","journal-title":"Algebra Universalis"},{"key":"10217_CR25","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.jalgebra.2013.11.019","volume":"402","author":"G Metcalfe","year":"2014","unstructured":"Metcalfe, G., F. Montagna, and C. Tsinakis, Amalgamation and interpolation in ordered algebras, Journal of Algebra 402:21\u201382, 2014.","journal-title":"Journal of Algebra"},{"key":"10217_CR26","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., F. Paoli, and C. Tsinakis, Residuated Structures in Algebra and Logic, vol. 277 of Mathematical Surveys and Monographs, American Mathematical Society, 2023.","DOI":"10.1090\/surv\/277"},{"key":"10217_CR27","doi-asserted-by":"crossref","unstructured":"Mundici, D., Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, Journal of Functional Analysis 65(1):15\u201363, 1986.","DOI":"10.1016\/0022-1236(86)90015-7"},{"key":"10217_CR28","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1017\/CBO9780511983474.017","volume-title":"Knowledge, Belief, and Strategic Interaction","author":"D Mundici","year":"1992","unstructured":"Mundici, D., The logic of Ulam\u2019s games with lies, in: C. Bicchieri, and M.L. Dalla Chiara, (eds.), Knowledge, Belief, and Strategic Interaction, Cambridge Studies in Probability, Induction and Decision Theory, Cambridge University Press, 1992, pp. 275\u2013284."},{"key":"10217_CR29","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H Ono","year":"1985","unstructured":"Ono, H., and Y. Komori, Logics without the contraction rule, Journal of Symbolic Logic 50:169\u2013201, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"10217_CR30","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF02944991","volume":"1","author":"D Pigozzi","year":"1972","unstructured":"Pigozzi, D., Amalgamations, congruence-extension, and interpolation properties in algebras, Algebra Universalis 1:269\u2013349, 1972.","journal-title":"Algebra Universalis"},{"key":"10217_CR31","doi-asserted-by":"crossref","unstructured":"Powell, W.B., and C. Tsinakis, Free products of abelian $$\\ell $$-groups are cardinally indecomposable, Proceedings of the American Mathematical Society 86:385\u2013390, 1982.","DOI":"10.1090\/S0002-9939-1982-0671199-6"},{"key":"10217_CR32","doi-asserted-by":"publisher","first-page":"429","DOI":"10.2140\/pjm.1983.104.429","volume":"104","author":"WB Powell","year":"1983","unstructured":"Powell, W.B., and C. Tsinakis, Free products in the class of abelian $$\\ell $$-groups, Pacific Journal of Mathematics 104:429\u2013441, 1983.","journal-title":"Pacific Journal of Mathematics"},{"key":"10217_CR33","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1017\/S1446788700019789","volume":"34","author":"WB Powell","year":"1983","unstructured":"Powell, W.B., and C. Tsinakis, The distributive lattice free product as a sublattice of the abelian $$\\ell $$-group free product, Journal of the Australian Mathematical Society (Series A) 34:92\u2013100, 1983.","journal-title":"Journal of the Australian Math. Society (Series A)"},{"key":"10217_CR34","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/BF01198527","volume":"18","author":"WB Powell","year":"1984","unstructured":"Powell, W.B., and C. Tsinakis, Free products of lattice ordered groups, Algebra Universalis 18:178\u2013198, 1984.","journal-title":"Algebra Universalis"},{"key":"10217_CR35","unstructured":"Powell, W.B., and C. Tsinakis, Amalgamations of lattice-ordered groups, inW.B. Powell, and C. Tsinakis, (eds.), Ordered Algebraic Structures, vol. 99 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, 1985, pp. 171\u2013178."},{"key":"10217_CR36","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01278603","volume":"20","author":"WB Powell","year":"1985","unstructured":"Powell, W.B., and C. Tsinakis, Meet-irreducible varieties of lattice ordered groups, Algebra Universalis 20:262\u2013263, 1985.","journal-title":"Algebra Universalis"},{"key":"10217_CR37","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/BF01195016","volume":"46","author":"WB Powell","year":"1986","unstructured":"Powell, W.B., and C. Tsinakis, Disjointness conditions for free products of $$\\ell $$-groups, Archive for Mathematics 46:491\u2013498, 1986.","journal-title":"Archive for Mathematics"},{"key":"10217_CR38","doi-asserted-by":"crossref","unstructured":"Powell, W.B., and C. Tsinakis, Sets of disjoint elements in free products of lattice ordered groups, Proceedings of the American Mathematical Society 104(4):1014\u20131020, 1988.","DOI":"10.1090\/S0002-9939-1988-0931736-6"},{"key":"10217_CR39","doi-asserted-by":"crossref","unstructured":"Powell, W.B., and C. Tsinakis, Free products in varieties of lattice-ordered groups, in A.M.W. Glass, and W.C. Holland, (eds.), Lattice-Ordered Groups, D. Reidel, Dordrecht, 1989, pp. 278\u2013307.","DOI":"10.1007\/978-94-009-2283-9_12"},{"key":"10217_CR40","doi-asserted-by":"crossref","unstructured":"Powell, W.B., and C. Tsinakis, Amalgamations of lattice ordered groups, in A.M.W. Glass, and W.C. Holland, (eds.), Lattice-Ordered Groups, D. Reidel, Dordrecht, 1989, pp. 308\u2013327.","DOI":"10.1007\/978-94-009-2283-9_13"},{"key":"10217_CR41","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1017\/S0305004100068171","volume":"106","author":"WB Powell","year":"1989","unstructured":"Powell, W.B., and C. Tsinakis, The failure of the amalgamation property for varieties of representable $$\\ell $$-groups, Mathematical Proceedings of the Cambridge Philosophical Society 106:439\u2013443, 1989.","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"10217_CR42","doi-asserted-by":"publisher","first-page":"2461","DOI":"10.1080\/00927878908823857","volume":"17","author":"WB Powell","year":"1989","unstructured":"Powell, W.B., and C. Tsinakis, Covers of the variety of abelian $$\\ell $$-groups, Communications in Algebra 17:2461\u20132468, 1989.","journal-title":"Comm. Alg."},{"key":"10217_CR43","doi-asserted-by":"crossref","unstructured":"Schmidt, J., and C. Tsinakis, Relative pseudo-complements, join-extensions and meetretractions, Mathematische Zeitschrift 157:271\u2013284, 1977.","DOI":"10.1007\/BF01214357"},{"key":"10217_CR44","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BF01190765","volume":"33","author":"JT Snodgrass","year":"1995","unstructured":"Snodgrass, J.T., and C. Tsinakis, The finite basis theorem for relatively normal lattices, Algebra Universalis 33:40\u201367, 1995.","journal-title":"Algebra Universalis"},{"key":"10217_CR45","first-page":"427","volume":"5","author":"C Tsinakis","year":"1979","unstructured":"Tsinakis, C., Brouwerian semilattices determined by their endomorphism semigroups, Houston Journal of Mathematics 5:427\u2013436, 1979.","journal-title":"Houston Journal of Mathematics"},{"key":"10217_CR46","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF01236806","volume":"20","author":"C Tsinakis","year":"1985","unstructured":"Tsinakis, C., Projectable and strongly projectable lattice ordered groups, Algebra Universalis 20:57\u201376, 1985.","journal-title":"Algebra Universalis"},{"key":"10217_CR47","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1073\/pnas.24.3.162","volume":"24","author":"M Ward","year":"1938","unstructured":"Ward, M., and R.P. Dilworth, Residuated lattices, Proceedings of the National Academy of Sciences 24:162\u2013164, 1938.","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"10217_CR48","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward, M., and R.P. Dilworth, Residuated lattices, Transactions of the American Mathematical Society 45:335\u2013354, 1939.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10217_CR49","first-page":"111","volume":"6","author":"A Wro\u0144ski","year":"1976","unstructured":"Wro\u0144ski, A., The number of quasivarieties of distributive lattices with pseudocomplementation, Reports on Mathematical Logic 6:111\u2013115, 1976.","journal-title":"Reports on Mathematical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-025-10217-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-025-10217-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-025-10217-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:36:52Z","timestamp":1774589812000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-025-10217-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,16]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["10217"],"URL":"https:\/\/doi.org\/10.1007\/s11225-025-10217-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,16]]},"assertion":[{"value":"25 September 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}