{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:56:00Z","timestamp":1759146960184},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2004,11,11]],"date-time":"2004-11-11T00:00:00Z","timestamp":1100131200000},"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":[[2005,1]]},"DOI":"10.1007\/s00153-004-0231-5","type":"journal-article","created":{"date-parts":[[2004,11,10]],"date-time":"2004-11-10T17:46:16Z","timestamp":1100108776000},"page":"97-114","source":"Crossref","is-referenced-by-count":24,"title":["On the predicate logics of continuous t-norm BL-algebras"],"prefix":"10.1007","volume":"44","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,11,11]]},"reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"Aglian\u00f3","year":"2003","unstructured":"Aglian\u00f3, P., Montagna, F.: Varieties of basic algebras I: general properties. J. Pure Appl. Algebra 181, 105?129 (2003)","journal-title":"J. Pure Appl. Algebra"},{"key":"CR2","unstructured":"Aglian\u00f3, P., Ferreirim, I.M.A., Montagna, F.: Basic hoops: an algebraic study of continuous t-norms. Preprint 2000"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.: Herbrand?s Theorem for Prenex G\u00f6del logic and its consequences for Theorem Proving. Proceedings of logic for Programming and Automated Reasoning (LPAR?2001), Cuba, December 2001. LNAI 2250. pp. 201?216","DOI":"10.1007\/3-540-45653-8_14"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Universalis 43, 233?257 (2000)","journal-title":"Algebra Universalis"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"Chang","year":"1958","unstructured":"Chang, C.C.: Algebraic analysis of many-valued logic. Trans. Amer. Math. Soc. 88, 467?490 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"Cignoli","year":"2000","unstructured":"Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft. Comput. 4, 106?112 (2000)","journal-title":"Soft. Comput."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Cignoli, R., Mundici, D., D?Ottaviano, I.M.L.: Algebraic foundations of many-valued reasoning. Kluwer 2000","DOI":"10.1007\/978-94-015-9480-6"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logics: towards an axiomatization of the logic of left-continuous t-norms. Fuzzy sets and systems 124, 271?288 (2001)","journal-title":"Fuzzy sets and systems"},{"key":"CR9","unstructured":"Ferreirim, I.M.A.: On varieties and quasi varieties of hoops and their reducts, PhD thesis, University of Illinois at Chicago, 1992"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998","DOI":"10.1007\/978-94-011-5300-3"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1011906423560","volume":"68","author":"H\u00e1jek","year":"2001","unstructured":"H\u00e1jek, P.: Fuzzy Logic and arithmetical hierarchy 3. Studia Logica 68, 129?142 (2001)","journal-title":"Studia Logica"},{"key":"CR12","unstructured":"H\u00e1jek, P.: Fuzzy Logic and arithmetical hierarchy 4. Preprint 2003"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1016544704961","volume":"71","author":"H\u00e1jek","year":"2","unstructured":"H\u00e1jek, P.: Monadic Fuzzy Predicate Logics. Studia Logica 71 (2), 165?176 (2002)","journal-title":"Studia Logica"},{"key":"CR14","first-page":"531","volume":"13","author":"Esteva","year":"4","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Montagna, F.: Hoops and Fuzzy Logic. J. Logic Computat. 13 (4), 531?355 (2003)","journal-title":"J. Logic Computat."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1011958407631","volume":"68","author":"Montagna","year":"2001","unstructured":"Montagna, F.: Three complexity problems in quantified fuzzy logic. Studia Logica 68, 143?152 (2001)","journal-title":"Studia Logica"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"Mostert","year":"1957","unstructured":"Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117?143 (1957)","journal-title":"Ann. Math."},{"key":"CR17","first-page":"137","volume":"8","author":"Pa?asinski","year":"1980","unstructured":"Pa?asinski, M.: Some remarks on BCK-algebras. Math. Seminar Notes, Kobe Univ. 8, 137?144 (1980)","journal-title":"Math. Seminar Notes, Kobe Univ."},{"key":"CR18","unstructured":"Ragaz, M.E.: Arithmetische Klassification von Formelnmenge der unendlichwertigen Logik. Thesis, ETH Z\u00fcrich, 1981"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"264","DOI":"10.2307\/1969974","volume":"4","author":"Rogers","year":"1956","unstructured":"Rogers, H.: Certain logical reduction and decision problems. Annals of Mathematics Vol. 4, 264?284 (1956)","journal-title":"Annals of Mathematics Vol."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"Ward","year":"1939","unstructured":"Ward, M., Diilworth, R.P.: Resisuated lattices. Trans. Amer. Math. Soc. 45, 335?354 (1939)","journal-title":"Trans. Amer. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0231-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-004-0231-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0231-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T23:58:14Z","timestamp":1585958294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-004-0231-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11,11]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["231"],"URL":"https:\/\/doi.org\/10.1007\/s00153-004-0231-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,11,11]]}}}