{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T01:01:26Z","timestamp":1767142886301,"version":"build-2238731810"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"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":[[2006,6]]},"DOI":"10.1007\/s11225-006-8302-8","type":"journal-article","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T06:36:05Z","timestamp":1152772565000},"page":"157-181","source":"Crossref","is-referenced-by-count":43,"title":["Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2"],"prefix":"10.1007","volume":"83","author":[{"given":"Roberto","family":"Cignoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoni Torrens","family":"Torrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8302_CR1","first-page":"11","volume":"54","author":"D. BIGELOW","year":"1990","unstructured":"BIGELOW, D., and S. BURRIS, \u2018Boolean algebras of factor congruences\u2019, Acta Sci. Math. 54 (1990), 11\u201320.","journal-title":"Acta Sci. Math."},{"key":"8302_CR2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"W. J. BLOK","year":"2000","unstructured":"BLOK, W. J., and I. FERREIRIM, \u2018On the structure of hoops\u2019, Algebra Univers. 43 (2000), 233\u2013257.","journal-title":"Algebra Univers."},{"issue":"396","key":"8302_CR3","first-page":"vii + 78","volume":"77","author":"W. J. BLOK","year":"1989","unstructured":"BLOK, W. J., and D. PIGOZZI, Algebraizable Logics, Mem. Amer. Math. Soc., 77 (1989), N. 396, vii + 78 pp.","journal-title":"Mem. Amer. Math. Soc."},{"key":"8302_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1090\/S0002-9947-1979-0522263-8","volume":"248","author":"S. BURRIS","year":"1979","unstructured":"BURRIS, S., and H. WERNER, \u2018Sheaf constructions and their elementary properties\u2019, Trans. Amer. Math. Soc. 248 (1979), 269\u2013309.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8302_CR5","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. CIGNOLI","year":"2000","unstructured":"CIGNOLI, R., F. ESTEVA, L. GODO, and A. TORRENS, \u2018Basic Logic is the Logic of continuous t-norms and their residua\u2019, Soft Comput. 4 (2000), 106\u2013112.","journal-title":"Soft Comput."},{"key":"8302_CR6","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1006\/jmaa.1996.0167","volume":"99","author":"R. CIGNOLI","year":"1996","unstructured":"CIGNOLI, R., and A. TORRENS, \u2018Boolean products of MV-algebras: hypernormal MV-algebras\u2019, J. Math. Anal. Appl. 99 (1996), 637\u2013653.","journal-title":"J. Math. Anal. Appl."},{"key":"8302_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s000120050154","volume":"43","author":"R. CIGNOLI","year":"2000","unstructured":"CIGNOLI, R., and A. TORRENS, \u2018Free cancellative hoops\u2019, Algebra Univer. 43 (2000), 213\u2013216.","journal-title":"Algebra Univer."},{"key":"8302_CR8","first-page":"45","volume":"5","author":"R. CIGNOLI","year":"2000","unstructured":"CIGNOLI, R., and A. TORRENS, \u2018An Algebraic Analysis of Product Logic\u2019, Mufti. Val. Logic 5 (2000), 45\u201365.","journal-title":"Mufti. Val. Logic"},{"key":"8302_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s00012-002-8204-1","volume":"48","author":"R. ClGNOLI","year":"2002","unstructured":"ClGNOLI, R., and A. TORRENS, \u2018Free algebras in varieties of BL-algebras with a Boolean retract\u2019, Algebra Univers. 48 (2002), 55\u201379.","journal-title":"Algebra Univers."},{"key":"8302_CR10","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s001530200144","volume":"42","author":"R. CIGNOLI","year":"2003","unstructured":"CIGNOLI, R., and A. TORRENS, \u2018Hajek basic fuzzy logic and Lukasiewicz infinite-valued logic\u2019, Arch. Math. Logic 42 (2003), 361\u2013370.","journal-title":"Arch. Math. Logic"},{"key":"8302_CR11","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1002\/malq.200310082","volume":"50","author":"R. CIGNOLI","year":"2004","unstructured":"CIGNOLI, R., and A. TORRENS, \u2018Glivenko like theorems in natural expansions of BCK-logic\u2019, Math. Log. Quart. 50 (2004), 111\u2013125.","journal-title":"Math. Log. Quart."},{"key":"8302_CR12","doi-asserted-by":"crossref","first-page":"862","DOI":"10.1007\/s00500-004-0444-x","volume":"9","author":"R. CIGNOLI","year":"2005","unstructured":"CIGNOLI, R., and A. TORRENS, \u2018Standard completeness of Hajek Basic Logic and decompositions of BL-chains\u2019, Soft Comput. 9 (2005), 862\u2013868.","journal-title":"Soft Comput."},{"key":"8302_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1090\/S0002-9947-1976-0412063-9","volume":"221","author":"B. DAVEY","year":"1976","unstructured":"DAVEY, B., \u2018Dualities for equational classes of Brouwerian algebras and Heyting algebras\u2019, Trans. Amer. Math. Soc. 221 (1976), 119\u2013146.","journal-title":"Trans. Amer. Math. Soc."},{"key":"8302_CR14","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1006\/jabr.1999.7900","volume":"221","author":"A. NOLA Dl","year":"1999","unstructured":"Dl NOLA, A., and A. LETTIERI, \u2018Equational characterization of all varieties of MV-algebras\u2019, J. Algebra 221 (1999), 463\u2013474.","journal-title":"J. Algebra"},{"key":"8302_CR15","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F. ESTEVA","year":"2002","unstructured":"ESTEVA, F., J. GISPERT, L. GODO, and F. MONTAGNA, \u2018On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic\u2019, Stud. Log. 71 (2002), 199\u2013226.","journal-title":"Stud. Log."},{"key":"8302_CR16","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., and L. GODO, \u2018Monoidal t-norm based logic: towards a logic for left-continuous t-norms\u2019, Fuzzy Sets Syst. 124 (2001), 271\u2013288.","journal-title":"Fuzzy Sets Syst."},{"key":"8302_CR17","first-page":"531","volume":"134","author":"F. ESTEVA","year":"2003","unstructured":"ESTEVA, F., L. GODO, P. HAJEK, and F. MONTAGNA, \u2018Hoops and Fuzzy Logic\u2019, J. Logic Computation 134 (2003), 531\u2013555.","journal-title":"J. Logic Computation"},{"key":"8302_CR18","first-page":"113","volume":"37","author":"J. GISPERT I BRASO","year":"2003","unstructured":"GISPERT I BRASO, J., \u2018Axiomatic Extensions of the Nilpotent Minimum Logic\u2019, Rep. Math. Logic. 37 (2003), 113\u2013123.","journal-title":"Rep. Math. Logic."},{"key":"8302_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P. HAJEK","year":"1998","unstructured":"HAJEK, P., Metamathematics of fuzzy logic, Kluwer, Dordrecht-Boston-London, 1998."},{"key":"8302_CR20","first-page":"457","volume":"34","author":"A. HORN","year":"1969","unstructured":"HORN, A., \u2018Free L-algebras\u2019, J. Symbolic Logic 34 (1969), 457\u2013480.","journal-title":"J. Symbolic Logic"},{"key":"8302_CR21","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-011-0215-5_5","volume-title":"Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook on the Mathematical Foundations of Fuzzy Set Theory","author":"U. HOHLE","year":"1995","unstructured":"HOHLE, U., \u2018Commutative, residuated 1-monoids\u2019, in U. Hohle and E. P. Klement, (eds.), Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook on the Mathematical Foundations of Fuzzy Set Theory, Kluwer, Boston, 1995, pp. 53\u2013106."},{"key":"8302_CR22","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s00153-002-0165-8","volume":"42","author":"S. JENEI","year":"2003","unstructured":"JENEI, S., \u2018On the structure of rotation-invariant semigroups\u2019, Arch. Math. Logic 42 (2003), 489\u2013514.","journal-title":"Arch. Math. Logic"},{"key":"8302_CR23","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S. JENEI","year":"2002","unstructured":"JENEI, S. and F. MONTAGNA, \u2018A Proof of Standard Completeness for Esteva and Godo's Logic MTL\u2019, Stud. Log. 70 (2002), 183\u2013192.","journal-title":"Stud. Log."},{"key":"8302_CR24","unstructured":"KOWALSKI, T., and H. ONO, P,esiduated lattices: An algebraic glimpse at logics without contraction, JAIST preliminary report, 2000."},{"key":"8302_CR25","first-page":"1","volume":"39","author":"A. A. MONTEIRO","year":"1980","unstructured":"MONTEIRO, A. A., \u2018Sur les algebres de Heyting symmetriques\u2019, Port. Math. 39 (1980), 1\u2013237.","journal-title":"Port. Math."},{"key":"8302_CR26","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1007\/s00153-005-0276-0","volume":"44","author":"C. NOGUERA","year":"2005","unstructured":"NOGUERA, C., F. ESTEVA, and J. GISPERT, \u2018Perfect and bipartite IMTL-algebras and disconnected rotations of basic semihoops\u2019, Arch. Math. Log. 44 (2005), 869\u2013886.","journal-title":"Arch. Math. Log."},{"key":"8302_CR27","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1093\/jigpal\/jzi034","volume":"13","author":"C. NOGUERA","year":"2005","unstructured":"NOGUERA, C., F. ESTEVA, and J. GISPERT, \u2018On some varieties of MTL-algebras\u2019, Logic J. IGPL 13 (2005), 443\u2013446.","journal-title":"Logic J. IGPL"}],"updated-by":[{"DOI":"10.1007\/s11225-016-9678-8","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2016,6,30]],"date-time":"2016-06-30T00:00:00Z","timestamp":1467244800000}}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8302-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8302-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8302-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:40Z","timestamp":1559370280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8302-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":27,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["8302"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8302-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}