{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T06:24:08Z","timestamp":1648880648101},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,11,25]],"date-time":"2010-11-25T00:00:00Z","timestamp":1290643200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s00153-010-0207-6","type":"journal-article","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T09:32:22Z","timestamp":1290591142000},"page":"161-183","source":"Crossref","is-referenced-by-count":11,"title":["Completeness with respect to a chain and universal models in fuzzy logic"],"prefix":"10.1007","volume":"50","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,25]]},"reference":[{"issue":"1","key":"207_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11225-007-9078-1","volume":"87","author":"P. Aglian\u00f2","year":"2007","unstructured":"Aglian\u00f2 P., Ferreirim I.M.A., Montagna F.: Basic hoops: An algebraic study of continuous t-norms. Studia Logica 87(1), 73\u201398 (2007)","journal-title":"Studia Logica"},{"key":"207_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P. Aglian\u00f2","year":"2003","unstructured":"Aglian\u00f2 P., Montagna F.: Varieties of BL-algebras I: General properties. J. Pure Appl. Algebra 181, 105\u2013129 (2003)","journal-title":"J. Pure Appl. Algebra"},{"key":"207_CR3","doi-asserted-by":"crossref","unstructured":"Bianchi, M., Montagna, F.: n-contractive BL logics, Preprint 2010, submitted","DOI":"10.1007\/s00153-010-0213-8"},{"key":"207_CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"W.J. Blok","year":"2000","unstructured":"Blok W.J., Ferreirim I.M.A.: On the structure of hoops. Algebra Univers. 43, 233\u2013257 (2000)","journal-title":"Algebra Univers."},{"key":"207_CR5","doi-asserted-by":"crossref","unstructured":"Blok, W., Pigozzi, D.: Algebraizable logics. Mem. Am. Math. Soc. 396, vol. 77, Am. Math. Soc., Providence (1989)","DOI":"10.1090\/memo\/0396"},{"key":"207_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra, Graduate Texts in Mathematics","author":"S. Burris","year":"1981","unstructured":"Burris S., Sankappanavar H.P.: A Course in Universal Algebra, Graduate Texts in Mathematics. Springer, New York (1981)"},{"key":"207_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., D\u2019Ottaviano M.I., Mundici D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)"},{"key":"207_CR8","first-page":"45","volume":"5","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., Torrens A.: An algebraic analysis of product logic. Mult. Valued Log. 5, 45\u201365 (2000)","journal-title":"Mult. Valued Log."},{"issue":"6","key":"207_CR9","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/s00153-006-0011-5","volume":"45","author":"P. Cintula","year":"2006","unstructured":"Cintula P.: Weakly implicative (fuzzy) logics I: Basic properties. Arch. Math. Log. 45(6), 673\u2013704 (2006)","journal-title":"Arch. Math. Log."},{"issue":"1","key":"207_CR10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","volume":"160","author":"P. Cintula","year":"2009","unstructured":"Cintula P., Esteva F., Gispert J., Godo L., Montagna F., Noguera C.: Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1), 53\u201381 (2009)","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"207_CR11","doi-asserted-by":"crossref","first-page":"863","DOI":"10.2178\/jsl\/1154698581","volume":"71","author":"P. Cintula","year":"2006","unstructured":"Cintula P., H\u00e1jek P.: On theories and models in fuzzy predicate logics. J. Symb. Log. 71(3), 863\u2013880 (2006)","journal-title":"J. Symb. Log."},{"key":"207_CR12","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1006\/jabr.1999.7900","volume":"221","author":"A. Di Nola","year":"1999","unstructured":"Di Nola A., Lettieri A.: Equational characterization of all varieties of MV-algebras. J. Algebra 221, 463\u2013474 (1999)","journal-title":"J. Algebra"},{"issue":"2","key":"207_CR13","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1006\/jabr.1999.8136","volume":"25","author":"A. Di Nola","year":"2000","unstructured":"Di Nola A., Lettieri A.: One chain generated varieties of MV-algebras. J. Algebra 25(2), 667\u2013679 (2000)","journal-title":"J. Algebra"},{"key":"207_CR14","unstructured":"Di Nola, A., Lenzi, G., Spada, L.: Representation of MV-algebras by regular ultrapowers, Technical Report 2009, to appear in Archive for Mathematical Logic"},{"key":"207_CR15","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., Godo L.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Set Syst. 124, 271\u2013288 (2001)","journal-title":"Fuzzy Set Syst."},{"key":"207_CR16","unstructured":"Ferreirim, I. M. A.: On varieties and quasi varieties of hoops and their reducts. PhD thesis, University od Illinois at Chicago (1992)"},{"key":"207_CR17","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics. Vol. 151","author":"N. Galatos","year":"2007","unstructured":"Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics. Vol. 151, Elsevier, Amsterdam (2007)"},{"key":"207_CR18","doi-asserted-by":"crossref","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":"207_CR19","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s00153-007-0036-4","volume":"46","author":"M. Laskowski","year":"2007","unstructured":"Laskowski M., Malekpour S.: Provability in predicate product logic. Arch. Math. Log. 46, 365\u2013378 (2007)","journal-title":"Arch. Math. Log."},{"key":"207_CR20","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.apal.2005.11.001","volume":"141","author":"F. Montagna","year":"2006","unstructured":"Montagna F.: Interpolation and Beth\u2019s property in propositional many-valued logics: A semantic investigation. Ann. Pure Appl. Log. 141, 148\u2013179 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"207_CR21","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/exl002","volume":"16","author":"F. Montagna","year":"2006","unstructured":"Montagna F., Noguera C., Hor\u010dik R.: On weakly cancellative fuzzy logics. J. Log. Comput. 16, 423\u2013450 (2006)","journal-title":"J. Log. Comput."},{"key":"207_CR22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0021-8693(88)90185-8","volume":"113","author":"D. Mundici","year":"1988","unstructured":"Mundici D.: Free products in the category of abelian \u2113-groups with strong unit. J. Algebra 113, 89\u2013109 (1988)","journal-title":"J. Algebra"},{"key":"207_CR23","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1002\/malq.200710054","volume":"54","author":"C. Noguera","year":"2008","unstructured":"Noguera C., Esteva F., Gispert J.: Triangular norm based axiomatic extensions of the weak Nilpotent minimum logic. Math. Log. Q. 54, 387\u2013409 (2008)","journal-title":"Math. Log. Q."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0207-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0207-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0207-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T14:03:47Z","timestamp":1559829827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0207-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,25]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["207"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0207-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,25]]}}}