{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:18:55Z","timestamp":1760170735837},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"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,7]]},"DOI":"10.1007\/s00153-011-0237-8","type":"journal-article","created":{"date-parts":[[2011,4,30]],"date-time":"2011-04-30T20:14:30Z","timestamp":1304194470000},"page":"625-641","source":"Crossref","is-referenced-by-count":4,"title":["Strict core fuzzy logics and quasi-witnessed models"],"prefix":"10.1007","volume":"50","author":[{"given":"Marco","family":"Cerami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,5,1]]},"reference":[{"key":"237_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logic with 0-1-projections and relativizations. In: H\u00e1jek, P. (eds.) G\u00f6del\u201996: Logical Foundations of Mathematics, Computer Science and Physics. Lecture Notes in Logic, vol. 6, 23\u201333 (1996)","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"237_CR2","volume-title":"The Description Logic Handbook\u2014Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader F. et\u00a0al.: The Description Logic Handbook\u2014Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"237_CR3","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: Towards a crisp representation of fuzzy description logics under \u0141ukasiewicz semantics. In: Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems (ISMIS-08), 309\u2013318 (2008)","DOI":"10.1007\/978-3-540-68123-6_34"},{"key":"237_CR4","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. 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\u2013112 (2000)","journal-title":"Soft Comput."},{"key":"237_CR5","first-page":"45","volume":"5","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., Torrens A.: An algebraic analysis of product logic. Multiple-Valued Log. 5, 45\u201365 (2000)","journal-title":"Multiple-Valued Log."},{"key":"237_CR6","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, 53\u201381 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"237_CR7","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00153-010-0178-7","volume":"49","author":"P. Cintula","year":"2010","unstructured":"Cintula P., Noguera C.: Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Log. 49, 417\u2013446 (2010)","journal-title":"Arch. Math. Log."},{"issue":"3","key":"237_CR8","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 Sets Syst. 124(3), 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"237_CR9","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logic","author":"N. Galatos","year":"2007","unstructured":"Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logic. Elsevier, Amsterdam (2007)"},{"key":"237_CR10","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.fss.2005.01.004","volume":"154","author":"A. Garc\u00eda-Cerda\u00f1a","year":"2002","unstructured":"Garc\u00eda-Cerda\u00f1a A., Noguera C., Esteva F.: On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy Sets Syst. 154, 56\u201376 (2002)","journal-title":"Fuzzy Sets Syst."},{"key":"237_CR11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P. H\u00e1jek","year":"1996","unstructured":"H\u00e1jek P., Godo L., Esteva F.: A complete many-valued logic with product conjunction. Arch. Math. Log. 35, 191\u2013208 (1996)","journal-title":"Arch. Math. Log."},{"key":"237_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in Logic, 4","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Metamathematics of Fuzzy Logic, Trends in Logic, 4. Kluwer, Dordrecht (1998)"},{"issue":"2","key":"237_CR13","first-page":"124","volume":"3","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Basic fuzzy logic and BL-algebra. Soft Comput. 3(2), 124\u2013128 (1998)","journal-title":"Soft Comput."},{"key":"237_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek P.: Making fuzzy description logic more general. Fuzzy Sets Syst. 154, 1\u201315 (2005)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"237_CR15","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.200610027","volume":"53","author":"P. H\u00e1jek","year":"2007","unstructured":"H\u00e1jek P.: On witnessed models in fuzzy logic. Math. Log. Q. 53(1), 66\u201377 (2007)","journal-title":"Math. Log. Q."},{"issue":"6","key":"237_CR16","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1002\/malq.200710019","volume":"53","author":"P. H\u00e1jek","year":"2007","unstructured":"H\u00e1jek P.: On witnessed models in fuzzy logic II. Math. Log. Q. 53(6), 610\u2013615 (2007)","journal-title":"Math. Log. Q."},{"key":"237_CR17","doi-asserted-by":"crossref","first-page":"863","DOI":"10.2178\/jsl\/1154698581","volume":"71","author":"P. H\u00e1jek","year":"2006","unstructured":"H\u00e1jek P., Cintula P.: On theories and models in fuzzy predicate logic. J. Symbol. Log. 71, 863\u2013880 (2006)","journal-title":"J. Symbol. Log."},{"key":"237_CR18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S. Jenei","year":"2002","unstructured":"Jenei S., Montagna F.: A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Studia Logica 70, 183\u2013192 (2002)","journal-title":"Studia Logica"},{"key":"237_CR19","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s00153-007-0036-4","volume":"46","author":"M.C. Laskowski","year":"2007","unstructured":"Laskowski M.C., Malekpour S.: Provability in predicate Product Logic. Arch. Math. Log. 46, 365\u2013378 (2007)","journal-title":"Arch. Math. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-011-0237-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-011-0237-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-011-0237-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T11:52:50Z","timestamp":1560167570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-011-0237-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,1]]},"references-count":19,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["237"],"URL":"https:\/\/doi.org\/10.1007\/s00153-011-0237-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,1]]}}}