{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T15:54:30Z","timestamp":1694793270530},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2005,6,2]],"date-time":"2005-06-02T00:00:00Z","timestamp":1117670400000},"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-0447-7","type":"journal-article","created":{"date-parts":[[2005,6,2]],"date-time":"2005-06-02T09:37:27Z","timestamp":1117705047000},"page":"889-896","source":"Crossref","is-referenced-by-count":1,"title":["Finiteness based results in BL-algebras"],"prefix":"10.1007","volume":"9","author":[{"given":"A. D.","family":"Nola","sequence":"first","affiliation":[]},{"given":"A.","family":"Lettieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"447_CR1","doi-asserted-by":"crossref","unstructured":"Agliano P, Montagna F (2003) Varieties of BL-Algebras, I: General properties. J Pure Appl Algebra 181, (2\u20133):105\u2013129","DOI":"10.1016\/S0022-4049(02)00329-8"},{"key":"447_CR2","unstructured":"Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, St. Louis"},{"key":"447_CR3","unstructured":"Birkhoff G (1984) Lattice Theory. American Mathematical Society, Providence"},{"key":"447_CR4","doi-asserted-by":"crossref","unstructured":"Chang CC (1958) Algebraic analysis of many valued logics. Trans Amer Math Soc 88:467\u2013490","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"447_CR5","unstructured":"Chang CC (1959) A new proof of the completeness of the Lukasiewicz axioms. Trans Am Math Soc 93:74\u201380"},{"key":"447_CR6","doi-asserted-by":"crossref","unstructured":"Cignoli RLO, D'ottaviano IML, Mundici D (2000) Algebraic Foundations of Many-valued Reasoning. (Trends in Logic, Studia Logica Library) Kluwer, Dordrecht","DOI":"10.1007\/978-94-015-9480-6"},{"key":"447_CR7","unstructured":"Clark DM, Davey BA (1998) Natural dualities for the working algebraist. Cambridge University Computing, Cambridge"},{"key":"447_CR8","doi-asserted-by":"crossref","unstructured":"Davey BA (1976) Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras. Trans Am Math Soc 221: 119\u2013146","DOI":"10.1090\/S0002-9947-1976-0412063-9"},{"key":"447_CR9","unstructured":"Davey BA (1979) On the lattice of Subvarieties. Houston Math J 5:183\u2013192"},{"key":"447_CR10","unstructured":"Davey BA, Werner H (1983) Dualities and equivalences for varieties of algebras. In: Colloquia mathematica societatis J\u00e1nos Bolyai, Vol. 33, North-Holland"},{"key":"447_CR11","doi-asserted-by":"crossref","unstructured":"Di Nola A, Lettieri A (2003) Finite BL-algebras. Discrete Math 269:93\u2013112","DOI":"10.1016\/S0012-365X(02)00754-9"},{"key":"447_CR12","unstructured":"Di Nola A, Niederkorn P Natural dualities for varieties of BL-algebras (submitted)"},{"key":"447_CR13","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (1998) Metamathematics of Fuzzy Logic. (Trends in Logic, Studia Logica Library) Kluwer, Dordrecht","DOI":"10.1007\/978-94-011-5300-3"},{"key":"447_CR14","unstructured":"Niederkorn P (2001) Dualities for Varieties of MV-Algebra I. J Math Anal Appl 255:58\u201373. doi:10.1006\/jmaa 2000.7153"},{"key":"447_CR15","doi-asserted-by":"crossref","unstructured":"Taylor W (1972) Residually small varieties. Alg Universalis 2:33\u201353","DOI":"10.1007\/BF02945005"},{"key":"447_CR16","unstructured":"Turunen E (1999) BL-algebras of basic fuzzy logic. Math Soft Comput 6:49\u201361"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-004-0447-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-004-0447-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-004-0447-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T14:50:39Z","timestamp":1586271039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-004-0447-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,2]]},"references-count":16,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["447"],"URL":"https:\/\/doi.org\/10.1007\/s00500-004-0447-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6,2]]}}}