{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:08:54Z","timestamp":1759032534431},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2005,5,31]],"date-time":"2005-05-31T00:00:00Z","timestamp":1117497600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s00500-004-0446-8","type":"journal-article","created":{"date-parts":[[2005,5,31]],"date-time":"2005-05-31T16:00:57Z","timestamp":1117555257000},"page":"875-888","source":"Crossref","is-referenced-by-count":9,"title":["Varieties of BL-algebras"],"prefix":"10.1007","volume":"9","author":[{"given":"A.","family":"Di Nola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"446_CR1","doi-asserted-by":"crossref","unstructured":"Aglian\u00f3 P, Ferreirim IMA, Montagna F Basic hoops: an algebriac study of continuous t-norms. Studia Logica (to appear)","DOI":"10.1007\/s11225-007-9078-1"},{"key":"446_CR2","doi-asserted-by":"crossref","unstructured":"Aglian\u00f3 P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181:105\u2013129","DOI":"10.1016\/S0022-4049(02)00329-8"},{"key":"446_CR3","doi-asserted-by":"crossref","unstructured":"Belluce LP, Di Nola A, Lettieri A (1993) Local MV-algebras. Rend Circ Mat Palermo 42:347\u2013361","DOI":"10.1007\/BF02844626"},{"key":"446_CR4","doi-asserted-by":"crossref","unstructured":"Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43:233\u2013257","DOI":"10.1007\/s000120050156"},{"key":"446_CR5","doi-asserted-by":"crossref","unstructured":"Burris S, Sankappanavar HP (1981) A course in Universal Algebra, Graduate texts in Mathematics, Springer, Berlin Heidelberg New York","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"446_CR6","unstructured":"Busaniche M (2005) Decomposition of BL-chains. To appear in Algebra Universalis Vd. 52, Number 4, 519\u2013525"},{"key":"446_CR7","doi-asserted-by":"crossref","unstructured":"Chang CC (1958) Algebraic analysis of many-valued logic. Trans Am Math Soc 88:467\u2013490","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"446_CR8","doi-asserted-by":"crossref","unstructured":"Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4:106\u2013112","DOI":"10.1007\/s005000000044"},{"key":"446_CR9","doi-asserted-by":"crossref","unstructured":"Cignoli R, D'Ottaviano IML, Mundici D (2000) Algebraic Foundations of Many-valued Reasoning, Kluwer, Doredrecht","DOI":"10.1007\/978-94-015-9480-6"},{"key":"446_CR10","unstructured":"Cignoli R, Torrens A (2000) An algebraic analysis of product logic. Mult Val Logic 5:45\u201365"},{"key":"446_CR11","doi-asserted-by":"crossref","unstructured":"Cignoli R, Torrens A (2003) H\u00e1jek basic fuzzy logic and \u0141ukasiewicz infinite-valued logic. Arch Math Logic 42:361\u2013370","DOI":"10.1007\/s001530200144"},{"key":"446_CR12","doi-asserted-by":"crossref","unstructured":"Di Nola A, Lettieri A (1994) Perfect MV-algebras are categorically equivalent to abelian \u2113-groups. Studia Logica 53:417\u2013432","DOI":"10.1007\/BF01057937"},{"key":"446_CR13","doi-asserted-by":"crossref","unstructured":"Di Nola A, Lettieri A (1999) Equational characterization of all varities of MV algebras. J Algebra 22:463\u2013474","DOI":"10.1006\/jabr.1999.7900"},{"key":"446_CR14","doi-asserted-by":"crossref","unstructured":"Di Nola A, Esteva F, Garcia P, Godo L, Sessa S (2002) Subvarieties of BL-algebras generated by single-component chains. Arch Math Logic 41:673\u2013685","DOI":"10.1007\/s001530100114"},{"key":"446_CR15","doi-asserted-by":"crossref","unstructured":"Di Nola A, Sessa S, Esteva F, Godo L, Garcia P (2002) The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting. Ann Math Artif Intell 35:197\u2013214","DOI":"10.1023\/A:1014539401842"},{"key":"446_CR16","doi-asserted-by":"crossref","unstructured":"Esteva F, Godo L, Montagna F (2004) Equational Characterization of the Subvarieties of BL Generated by T-Norm Algebras Studia logica 76, 161\u2013200","DOI":"10.1023\/B:STUD.0000032084.12744.e3"},{"key":"446_CR17","unstructured":"Ferreirim IMA (1992) On varieties and quasi varieties of hoops and their reducts. PhD Thesis, University of Illinois"},{"key":"446_CR18","doi-asserted-by":"crossref","unstructured":"Gispert J (2002) Universal classes of MV-chains with applications to many valued logics. Math Logic Q 48:581\u2013601","DOI":"10.1002\/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-W"},{"key":"446_CR19","doi-asserted-by":"crossref","unstructured":"Gispert J, Mundici D, Torrens A (1999) Ultraproducts of Z with an Application to Many-Valued Logics. J Algebra 219:214\u2013233","DOI":"10.1006\/jabr.1999.7893"},{"key":"446_CR20","unstructured":"Gottwald S (2001) A Treatise on Many-valued Logics. Studies in logic and computation, Research Studies Press, Baldock"},{"key":"446_CR21","unstructured":"Grigolia RS (1977) Algebraic Analysis of Lukasiewicz-Tarski's n-valued logical systems. In: Wojcicki AR, Malinowski G (eds) Selected papers on Lukasiewicz sentential calculus. Ossolineum, Wroclaw, pp 81\u201392"},{"key":"446_CR22","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. In: Trends in logic-studia logica library, vol 4. Kluwer, Dordercht\/Boston\/London","DOI":"10.1007\/978-94-011-5300-3"},{"key":"446_CR23","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (1998) Basic fuzzy logic and BL-algebras. Soft Computing 2:124\u2013128","DOI":"10.1007\/s005000050043"},{"key":"446_CR24","unstructured":"Hanikov\u00e1 Z (2002) A note on propositional tautologies of individual continuous t-norms vol 12. Neural Netw World (5) 453\u2013460"},{"key":"446_CR25","doi-asserted-by":"crossref","unstructured":"Hecht T, Katrinak T (1972) Equational classes of relative Stone algebras. Notre Dame J Formal Logic 13:248\u2013254","DOI":"10.1305\/ndjfl\/1093894723"},{"key":"446_CR26","doi-asserted-by":"crossref","unstructured":"Komori Y (1981) Super- \u0141ukasiewicz implicational logics. Nagoya Math J 84:1119\u2013133","DOI":"10.1017\/S0027763000019577"},{"key":"446_CR27","doi-asserted-by":"crossref","unstructured":"Laskowski MC, Shashoua YV (2002) A classification of BL-algebras. Fuzzy Sets Syst 131:271\u2013282","DOI":"10.1016\/S0165-0114(02)00051-9"},{"key":"446_CR28","doi-asserted-by":"crossref","unstructured":"Mostert PS, Shields AL (1957) On the structure of semigroups on a compact manifold with boundary. Ann Math 65:117\u2013143","DOI":"10.2307\/1969668"},{"key":"446_CR29","doi-asserted-by":"crossref","unstructured":"Mundici D (1986) Interpretations of AFC*-algebras in \u0141ukasiewicz sentential calculus. J Funct Anal 65:15\u201363","DOI":"10.1016\/0022-1236(86)90015-7"},{"key":"446_CR30","doi-asserted-by":"crossref","unstructured":"Panti G (1999) Varieties of MV algebras. J Appl Non-Classical Logic 9:141\u2013157","DOI":"10.1080\/11663081.1999.10510961"},{"key":"446_CR31","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez AJ, Torrens A (1994) Wajsberg algebras and Post algebras. Studia Logica 53:1\u201319","DOI":"10.1007\/BF01053019"},{"key":"446_CR32","unstructured":"Turunen E, Sessa S (2001) Local BL-algebras. Int J Multiple Valued Logic 6:229\u2013249"},{"key":"446_CR33","unstructured":"Turunen E (1999) BL-algebras and fuzzy logic. Mathware and Soft Comput 1:49\u201361"},{"key":"446_CR34","doi-asserted-by":"crossref","unstructured":"Turunen E (2001) Boolean deductive systems of BL-algebras. Arch Math Logic 40:467\u2013473","DOI":"10.1007\/s001530100088"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-004-0446-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-004-0446-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-004-0446-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T14:28:43Z","timestamp":1586269723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-004-0446-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,31]]},"references-count":34,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["446"],"URL":"https:\/\/doi.org\/10.1007\/s00500-004-0446-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5,31]]}}}