{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:54Z","timestamp":1759638294971},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T00:00:00Z","timestamp":1348617600000},"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":[[2013,2]]},"DOI":"10.1007\/s00153-012-0303-x","type":"journal-article","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T20:02:06Z","timestamp":1348603326000},"page":"1-17","source":"Crossref","is-referenced-by-count":7,"title":["On elementary equivalence in fuzzy predicate logics"],"prefix":"10.1007","volume":"52","author":[{"given":"Pilar","family":"Dellunde","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":[[2012,9,26]]},"reference":[{"key":"303_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0633-1","volume-title":"Fuzzy Relational Systems: Foundations and Principles","author":"R. Belohl\u00e1vek","year":"2002","unstructured":"Belohl\u00e1vek R.: Fuzzy Relational Systems: Foundations and Principles. Springer, Berlin (2002)"},{"issue":"5\/6","key":"303_CR2","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/s00153-011-0237-8","volume":"50","author":"M. Cerami","year":"2011","unstructured":"Cerami M., Esteva F.: Strict core fuzzy logics and quasi-witnessed models. Arch. Math. Log. 50(5\/6), 625\u2013641 (2011)","journal-title":"Arch. Math. Log."},{"key":"303_CR3","volume-title":"Model Theory, Studies in Logic, 73","author":"C.C. Chang","year":"1990","unstructured":"Chang C.C., Keisler H.J.: Model Theory, Studies in Logic, 73. North-Holland, Amsterdam (1990)","edition":"3"},{"issue":"2","key":"303_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(2), 106\u2013112 (2000)","journal-title":"Soft. Comput."},{"key":"303_CR5","unstructured":"Cintula, P.: From fuzzy logic to fuzzy mathematics. Ph.D. dissertation, Czech Technical University, Prague (2005)"},{"key":"303_CR6","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.fss.2009.09.006","volume":"161","author":"P. Cintula","year":"2010","unstructured":"Cintula P., H\u00e1jek P.: Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161, 311\u2013346 (2010)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"303_CR7","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."},{"key":"303_CR8","doi-asserted-by":"crossref","unstructured":"Dellunde, P.: Preserving mappings in fuzzy predicate logics. J. Log. Comput. (2011, in press)","DOI":"10.1093\/logcom\/exr019"},{"key":"303_CR9","unstructured":"Dellunde, P., Esteva, F.: On elementary extensions for fuzzy predicate logics. In: Proceedings of IPMU 2010, 6178:747\u2013756 (2010)"},{"key":"303_CR10","doi-asserted-by":"crossref","unstructured":"Di Nola, A., Gerla, G.: Fuzzy models of first order languages. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 32, 331\u2013340 (1986)","DOI":"10.1002\/malq.19860321906"},{"issue":"3","key":"303_CR11","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":"303_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in Logic\u2014Studia Logica Library, 4","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Metamathematics of Fuzzy Logic, Trends in Logic\u2014Studia Logica Library, 4. Kluwer, Dordrecht (1998)"},{"issue":"1","key":"303_CR13","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), 1\u201315 (2005)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"303_CR14","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":"303_CR15","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."},{"issue":"3","key":"303_CR16","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 logics. J. Symb. Log. 71(3), 863\u2013880 (2006)","journal-title":"J. Symb. Log."},{"issue":"2","key":"303_CR17","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(2), 183\u2013192 (2002)","journal-title":"Studia Logica"},{"issue":"5","key":"303_CR18","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(5), 365\u2013378 (2007)","journal-title":"Arch. Math. Log."},{"issue":"1\u20132","key":"303_CR19","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(1\u20132), 148\u2013179 (2006)","journal-title":"Ann. Pure Appl. Log."},{"key":"303_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic, The Kluwer International Series in Engineering and Computer Science, 517","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k V., Perfilieva I., Mo\u010dko\u0159 J.: Mathematical Principles of Fuzzy Logic, The Kluwer International Series in Engineering and Computer Science, 517. Kluwer, Boston (1999)"},{"key":"303_CR21","volume-title":"An Algebraic Approach to Non-classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa H.: An Algebraic Approach to Non-classical Logics. North-Holland, Amsterdam (1974)"},{"key":"303_CR22","volume-title":"The Mathematics of the Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa H., Sikorski R.: The Mathematics of the Metamathematics. P.W.N., Warszawa (1963)"},{"key":"303_CR23","first-page":"261","volume":"1","author":"A. Tarski","year":"1935","unstructured":"Tarski A.: Der wahrheitsbegriff in den formalisierten sprachen. Studia Philosophica 1, 261\u2013405 (1935)","journal-title":"Studia Philosophica"},{"key":"303_CR24","first-page":"81","volume":"13","author":"A. Tarski","year":"1957","unstructured":"Tarski A., Vaught R.L.: Arithmetical extensions of relational systems. Compositio Math. 13, 81\u2013102 (1957)","journal-title":"Compositio Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0303-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-012-0303-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0303-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T05:38:45Z","timestamp":1562218725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-012-0303-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,26]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["303"],"URL":"https:\/\/doi.org\/10.1007\/s00153-012-0303-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,26]]}}}