{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T19:04:21Z","timestamp":1778699061179,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s11225-005-2979-y","type":"journal-article","created":{"date-parts":[[2005,5,23]],"date-time":"2005-05-23T09:51:35Z","timestamp":1116841895000},"page":"283-304","source":"Crossref","is-referenced-by-count":7,"title":["\u2605-autonomous Lattices"],"prefix":"10.1007","volume":"79","author":[{"given":"Francesco","family":"Paoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2979_CR1","unstructured":"Aglian\u00f2, P., \u2018An algebraic investigation of linear logic\u2019, Rapporto Matematico 297, Universit\u00e0 di Siena, 1996."},{"issue":"3\u20134","key":"2979_CR2","first-page":"397","volume":"64","author":"P. Aglian\u00f2","year":"1998","unstructured":"Aglian\u00f2, P., \u2018Ternary deduction terms in residuated structures\u2019, Acta Scientiarum Mathematicarum Szeged 64, 3\u20134 (1998), 397\u2013429.","journal-title":"Acta Scientiarum Mathematicarum Szeged"},{"key":"2979_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-2871-8","volume-title":"Lattice-Ordered Groups: An Introduction","author":"M. Anderson","year":"1988","unstructured":"Anderson, M., and T. Feil, Lattice-Ordered Groups: An Introduction, Reidel, Dordrecht, 1988."},{"key":"2979_CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"Avron, A., \u2018The semantics and proof theory of linear logic\u2019, Theoretical Computer Science 57 (1988), 161\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"2979_CR5","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1093\/logcom\/4.6.929","volume":"4","author":"A. Avron","year":"1994","unstructured":"Avron, A., \u2018Some properties of linear logic proved by semantic methods\u2019, Journal of Logic and Computation 4 (1994), 929\u2013938.","journal-title":"Journal of Logic and Computation"},{"key":"2979_CR6","doi-asserted-by":"crossref","unstructured":"Birkhoff, G., Lattice Theory, AMS, Providence, 1940.","DOI":"10.1090\/coll\/025"},{"key":"2979_CR7","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"W. Blok","year":"1994","unstructured":"Blok, W., and D. Pigozzi, \u2018On the structure of varieties with equationally definable principal congruences III\u2019, Algebra Universalis 32 (1994), 545\u2013608.","journal-title":"Algebra Universalis"},{"key":"2979_CR8","volume-title":"On the Structure of Residuated Lattices","author":"K. Blount","year":"1999","unstructured":"Blount, K., On the Structure of Residuated Lattices, PhD Dissertation, Vanderbilt University, Nashville, 1999."},{"key":"2979_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"4","author":"K. Blount","year":"2003","unstructured":"Blount, K., and C. Tsinakis, \u2018The structure of residuated lattices\u2019, International Journal of Algebra and Computation 13, 4 (2003), 437\u2013461.","journal-title":"International Journal of Algebra and Computation 13,"},{"key":"2979_CR10","doi-asserted-by":"crossref","unstructured":"Casari, E., \u2018Comparative logic and Abelian -groups\u2019, in R. Ferro et al., (eds.), Logic Colloquium \u201888, North Holland, Amsterdam, 1989, pp. 161\u2013190.","DOI":"10.1016\/S0049-237X(08)70269-6"},{"key":"2979_CR11","first-page":"74","volume":"93","author":"C.C. Chang","year":"1958","unstructured":"Chang, C.C., \u2018Algebraic analysis of many-valued logics\u2019, Transactions of the AMS 93 (1958), 74\u201390.","journal-title":"Transactions of the AMS"},{"key":"2979_CR12","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R. Cignoli","year":"1999","unstructured":"Cignoli, R., I. M. L. D\u2019Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 1999."},{"key":"2979_CR13","unstructured":"Dunn, J. M., The Algebra of Intensional Logics, PhD Dissertation, Pittsburgh University, 1966."},{"key":"2979_CR14","unstructured":"Galatos, N., Selected Topics on Residuated Lattices, Qualifying paper, Vanderbilt University, Nashville, 2000."},{"key":"2979_CR15","unstructured":"Galatos, N., Varieties of Residuated Lattices, PhD thesis, Vanderbilt University, Nashville, 2003."},{"key":"2979_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., \u2018Linear logic\u2019, Theoretical Computer Science 50 (1987), 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"2979_CR17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1070\/IM1982v018n01ABEH001382","volume":"18","author":"V.N. Grishin","year":"1982","unstructured":"Grishin V.N., \u2018Predicate and set-theoretic calculi based on logics without contraction\u2019, Math. URSS Izvestija 18 (1982), 41\u201359.","journal-title":"Math. URSS Izvestija"},{"key":"2979_CR18","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"4","author":"J.B. Hart","year":"2002","unstructured":"Hart, J.B., L. Rafter, and C. Tsinakis, \u2018The structure of commutative residuated lattices\u2019, International Journal of Algebra and Computation 12, 4 (2002), 509\u2013524.","journal-title":"International Journal of Algebra and Computation 12,"},{"key":"2979_CR19","first-page":"839","volume":"6","author":"P. M. Idziak","year":"1984","unstructured":"Idziak, P. M., \u2018Lattice operations in BCK algebras\u2019, Mathematica Japonica 29, 6 (1984), 839\u2013846.","journal-title":"Mathematica Japonica 29,"},{"key":"2979_CR20","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-3627-4_3","volume-title":"Ordered Algebraic Structures","author":"P. Jipsen","year":"2002","unstructured":"Jipsen, P., and C. Tsinakis, \u2018A survey of residuated lattices\u2019, in J. Martinez (ed.), Ordered Algebraic Structures, Kluwer, Dordrecht, 2002, pp. 19\u201356."},{"key":"2979_CR21","unstructured":"Kowalski, T., and H. Ono, Residuated Lattices, JAIST Reports, Ishikawa, 2001."},{"key":"2979_CR22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s001530100098","volume":"41","author":"F. Paoli","year":"2002","unstructured":"Paoli, F., \u2018On the algebraic structure of linear, relevance, and fuzzy logics\u2019, Archive for Mathematical Logic 41 (2002), 107\u2013121.","journal-title":"Archive for Mathematical Logic"},{"key":"2979_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural Logics: A Primer","author":"F. Paoli","year":"2002","unstructured":"Paoli, F., Substructural Logics: A Primer, Kluwer, Dordrecht, 2002."},{"key":"2979_CR24","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1023\/A:1022995202767","volume":"3","author":"F. Paoli","year":"2003","unstructured":"Paoli, F., \u2018A really fuzzy approach to the sorites paradox\u2019, Synthese 134, 3 (2003), 363\u2013387.","journal-title":"Synthese 134,"},{"key":"2979_CR25","unstructured":"Rosenthal, K., Quantales and Their Applications, Longman Scientific, Essex."},{"key":"2979_CR26","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1017\/S1446788700035436","volume":"53","author":"A. Ursini","year":"1992","unstructured":"Ursini, A., and P. Aglian\u00f2, \u2018Ideals and other generalizations of congruence classes\u2019, Journal of the Australian Mathematical Society A, 53 (1992), 103\u2013115.","journal-title":"Journal of the Australian Mathematical Society A,"},{"key":"2979_CR27","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"Yetter, D. N., \u2018Quantales and (noncommutative) linear logic\u2019, Journal of Symbolic Logic 55 (1990), 41\u201364.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-2979-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-2979-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-2979-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T11:24:23Z","timestamp":1586258663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-2979-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["2979"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-2979-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}