{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T10:14:02Z","timestamp":1746612842391},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926863"},{"type":"electronic","value":"9783540926870"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92687-0_1","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T09:25:38Z","timestamp":1234257938000},"page":"1-15","source":"Crossref","is-referenced-by-count":6,"title":["Applications of Finite Duality to Locally Finite Varieties of BL-Algebras"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[]},{"given":"Simone","family":"Bova","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Marra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P. Aglian\u00f3","year":"2003","unstructured":"Aglian\u00f3, P., Montagna, F.: Varieties of BL-algebras I: General Properties. J. Pure Appl. Algebra\u00a0181, 105\u2013129 (2003)","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR2","unstructured":"Aguzzoli, S., Bova, S.: The Free n-Generated BL-algebra (submitted)"},{"key":"1_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R.L.O. Cignoli","year":"2000","unstructured":"Cignoli, R.L.O., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R.L.O. Cignoli","year":"2000","unstructured":"Cignoli, R.L.O., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the Logic of Continuous t-norms and their Residua. Soft Comput.\u00a04, 106\u2013112 (2000)","journal-title":"Soft Comput."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.apal.2005.12.015","volume":"142","author":"O.M. D\u2019Antona","year":"2006","unstructured":"D\u2019Antona, O.M., Marra, V.: Computing Coproducts of Finitely Presented G\u00f6del Algebras. Ann. Pure Appl. Logic\u00a0142, 202\u2013211 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0012-365X(02)00754-9","volume":"269","author":"A. Nola Di","year":"2003","unstructured":"Di Nola, A., Lettieri, A.: Finite BL-algebras. Discrete Math.\u00a0269, 93\u2013122 (2003)","journal-title":"Discrete Math."},{"key":"1_CR7","first-page":"81","volume-title":"\u0141ukasiewicz Sentential Calculi","author":"R.S. Grigolia","year":"1977","unstructured":"Grigolia, R.S.: Algebraic Analysis of \u0141ukasiewicz-Tarski\u2019s n-valued Logical Systems. In: W\u00f3jcicki, R., Malinowski, G. (eds.) \u0141ukasiewicz Sentential Calculi, pp. 81\u201392. Ossolineum, Wrok\u0142aw (1977)"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Jipsen, P., Montagna, F.: The Blok-Ferreirim Theorem for Normal GBL-algebras and its Application. Algebra Universalis (to appear)","DOI":"10.1007\/s00012-009-2106-4"},{"key":"1_CR10","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1998","unstructured":"MacLane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)","edition":"2"},{"key":"1_CR11","first-page":"837","volume":"5","author":"F. Montagna","year":"2000","unstructured":"Montagna, F.: The Free BL-algebra on One Generator. Neural Network World\u00a05, 837\u2013844 (2000)","journal-title":"Neural Network World"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92687-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T08:25:03Z","timestamp":1551774303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92687-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926863","9783540926870"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92687-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}