{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T04:06:47Z","timestamp":1751947607337,"version":"3.41.2"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T00:00:00Z","timestamp":1741910400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T00:00:00Z","timestamp":1741910400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100012990","name":"Universit\u00e0 degli Studi di Siena","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100012990","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>In this paper we investigate two logics (and their fragments) from an algebraic point of view. The two logics are: <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf{MALL}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>MALL<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> (multiplicative-additive Linear Logic) and <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\textsf{LL}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>LL<\/mml:mi>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> (classical Linear Logic). Both logics turn out to be strongly algebraizable in the sense of Blok and Pigozzi and their equivalent algebraic semantics are, respectively, the variety of Girard algebras and the variety of girales. We show that any variety of girales has a TD-term and hence equationally definable principal congruences. Also we investigate the structure of the algebras in question, thus obtaining a representation theorem for Girard algebras and girales. We also prove that congruence lattices of girales are really congruence lattices of Heyting algebras, thus determining the simple and subdirectly irreducible girales. Finally we introduce a class of examples showing that the variety of girales contains infinitely many nonisomorphic finite simple algebras.<\/jats:p>","DOI":"10.1007\/s00153-025-00969-2","type":"journal-article","created":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T19:47:46Z","timestamp":1741981666000},"page":"893-915","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An algebraic investigation of Linear Logic"],"prefix":"10.1007","volume":"64","author":[{"given":"Paolo","family":"Aglian\u00f2","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,14]]},"reference":[{"key":"969_CR1","doi-asserted-by":"crossref","unstructured":"Abrusci, V.M.: Sequent Calculus for Intuitionistic Linear Propositional Logic, Mathematical Logic (P.P. Petkov, ed.), Springer US, Boston, MA, pp.\u00a0223\u2013242 (1990)","DOI":"10.1007\/978-1-4613-0609-2_15"},{"key":"969_CR2","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"VM Abrusci","year":"1991","unstructured":"Abrusci, V.M.: Phase semantics and sequent calculus for pure noncommutative classical linear logic. J. Symb. Log. 56, 1403\u20131451 (1991)","journal-title":"J. Symb. Log."},{"key":"969_CR3","first-page":"397","volume":"64","author":"P Aglian\u00f2","year":"1998","unstructured":"Aglian\u00f2, P.: Ternary deduction terms in residuated structures. Acta Sci. Math. (Szeged) 64, 397\u2013429 (1998)","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"969_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2023.103391","volume":"175","author":"P Aglian\u00f2","year":"2024","unstructured":"Aglian\u00f2, P., Ugolini, S.: Structural and universal completeness in algebra and logic. Ann. Pure Appl. Logic 175, 103391 (2024)","journal-title":"Ann. Pure Appl. Logic"},{"key":"969_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1017\/S1446788700035436","volume":"53","author":"P Aglian\u00f2","year":"1992","unstructured":"Aglian\u00f2, P., Ursini, A.: Ideals and other generalizations of congruence classes. J. Aust. Math. Soc. 53, 103\u2013115 (1992)","journal-title":"J. Aust. Math. Soc."},{"key":"969_CR6","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G Allwein","year":"1993","unstructured":"Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Log. 58, 514\u2013545 (1993)","journal-title":"J. Symb. Log."},{"key":"969_CR7","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment. I, Princeton University Press, Princeton, The Logic of Relevance and Necessity (1975)"},{"key":"969_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A.: The semantics and proof theory of Linear Logic. Theoret. Comput. Sci. 57, 161\u2013184 (1988)","journal-title":"Theoret. Comput. Sci."},{"key":"969_CR9","unstructured":"Blok, W.J.: Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, (1976)"},{"key":"969_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.2307\/2273184","volume":"45","author":"WJ Blok","year":"1980","unstructured":"Blok, W.J.: The lattice of modal logics: an algebraic investigation. J. Symb. Logic 45, 221\u2013236 (1980)","journal-title":"J. Symb. Logic"},{"key":"969_CR11","doi-asserted-by":"crossref","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable Logics, Mem. Amer. Math. Soc., no. 396, American Mathematical Society, Providence, Rhode Island, (1989)","DOI":"10.1090\/memo\/0396"},{"key":"969_CR12","unstructured":"Blok, W.J., Pigozzi, D.: Algebraic Semantics for Universal Horn Logic without equality, Universal Algebra and Quasi-Group Theory (A.\u00a0Romanowska and J.H.D. Smith, eds.), Heldermann Verlag, Berlin, pp.\u00a01\u201356 (1992)"},{"key":"969_CR13","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"WJ Blok","year":"1994","unstructured":"Blok, W.J., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences III. Algeb. Univ. 32, 545\u2013608 (1994)","journal-title":"Algeb. Univ."},{"key":"969_CR14","volume-title":"A course in universal algebra. Graduate Texts in Mathematics","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. Graduate Texts in Mathematics. Springer, Berlin (1981)"},{"key":"969_CR15","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1093\/logcom\/exp028","volume":"19","author":"M Busaniche","year":"2009","unstructured":"Busaniche, M., Cignoli, R.: Residuated lattices as an algebraic semantics for paraconsistent Nelson logic. J. Logic Comput. 19, 1019\u20131029 (2009)","journal-title":"J. Logic Comput."},{"key":"969_CR16","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Relevance logic and entailment, Handbook of Philosophical Logic III (D.\u00a0Gabbay and F.\u00a0G\u00fcnther, eds.), D. Reidel Publ. Comp., Dordrecht, pp.\u00a0117\u2013224 (1986)","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"969_CR17","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Partial gaggles applied to logics with restricted structural rules, Substructural Logics (P.\u00a0Schroeder-Heister and K.\u00a0Do\u0161en, eds.), Clarendon Press, Oxford, (1993), pp.\u00a063\u2013108","DOI":"10.1093\/oso\/9780198537779.003.0004"},{"key":"969_CR18","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/3680284","volume":"25","author":"W Fussner","year":"2024","unstructured":"Fussner, W., Santschi, S.: Interpolation in Linear Logic and related systems. ACM Trans. Comput. Logic 25, 20 (2024)","journal-title":"ACM Trans. Comput. Logic"},{"key":"969_CR19","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logics and the Foundations of Mathematics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logics and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"key":"969_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear Logic. Theoret. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"969_CR21","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1073\/pnas.40.5.296","volume":"40","author":"P Halmos","year":"1954","unstructured":"Halmos, P.: Polyadic Boolean algebras. Proc. Nat. Acad. Sci. USA 40, 296\u2013301 (1954)","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"969_CR22","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, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110\u2013121 (1967)","journal-title":"Math. Scand."},{"key":"969_CR23","volume-title":"Decision problems for propositional linear logic, Report sri-csl-90-08","author":"PD Lincoln","year":"1990","unstructured":"Lincoln, P.D., Mitchell, J., Scedrov, A., Shankar, N.: Decision problems for propositional linear logic, Report sri-csl-90-08. SRI International Computer Science Laboratory, Menlo Park (1990)"},{"key":"969_CR24","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jpaa.2007.01.019","volume":"214","author":"F Montagna","year":"2010","unstructured":"Montagna, F., Tsinakis, C.: Ordered groups with a conucleus. J. Pure Appl. Alg. 214, 71\u201388 (2010)","journal-title":"J. Pure Appl. Alg."},{"key":"969_CR25","doi-asserted-by":"publisher","first-page":"759","DOI":"10.2140\/pjm.1971.37.759","volume":"37","author":"W Nemitz","year":"1971","unstructured":"Nemitz, W., Whaley, T.: Varieties of implicative semilattices. Pac. J. Math. 37, 759\u2013769 (1971)","journal-title":"Pac. J. Math."},{"key":"969_CR26","doi-asserted-by":"crossref","unstructured":"Routley, R., Meyer, R.K.: The semantics of entailment, I, Truth Syntax and Semantics (H.\u00a0Leblanc, ed.), North Holland, Amsterdam, pp.\u00a0194\u2013243 (1973)","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"969_CR27","unstructured":"Tuyt, O.: One-Variable Fragments of First-Order Many-Valued Logics, PhD Thesis, Universit\u00e4t Bern (2021), https:\/\/boristheses.unibe.ch\/2864"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00969-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00969-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00969-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T11:05:40Z","timestamp":1751886340000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00969-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,14]]},"references-count":27,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["969"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00969-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2025,3,14]]},"assertion":[{"value":"17 July 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}