{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T12:11:45Z","timestamp":1787314305857,"version":"build-2736575974"},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":2749,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2006,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models.<\/jats:p>","DOI":"10.2178\/jsl\/1154698581","type":"journal-article","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T11:23:20Z","timestamp":1198063400000},"page":"863-880","source":"Crossref","is-referenced-by-count":80,"title":["On theories and models in fuzzy predicate logics"],"prefix":"10.1017","volume":"71","author":[{"given":"Petr","family":"H\u00e1jek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petr","family":"Cintula","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120000596X_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.03.005"},{"key":"S002248120000596X_ref014","first-page":"107","volume-title":"First-order logic revised","author":"H\u00e1jek","year":"2004"},{"key":"S002248120000596X_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044451814-9\/50010-0"},{"key":"S002248120000596X_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050006"},{"key":"S002248120000596X_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"S002248120000596X_ref004","first-page":"97","volume":"27","author":"Dummett","year":"1959","journal-title":"A propositional calculus with denumerable matrix"},{"key":"S002248120000596X_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-002-0152-0"},{"key":"S002248120000596X_ref001","first-page":"23","volume-title":"G\u00f6del'96: Logical foundations of mathematics, computer science, and physics","volume":"6","author":"Baaz","year":"1996"},{"key":"S002248120000596X_ref018","first-page":"339","volume":"65","author":"H\u00e1jek","year":"2000","journal-title":"The liar paradox and fuzzy logic"},{"key":"S002248120000596X_ref010","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024621922509"},{"key":"S002248120000596X_ref009","first-page":"9","article-title":"On rational Weak Nilpotent Minimum logics","volume":"12","author":"Esteva","year":"2006","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"key":"S002248120000596X_ref005","unstructured":"Esteva Francesc , Gispert Joan , Godo Llu\u00eds , and Noguera Carles , Adding truth-constants to continuous t-norm based logics: Axiomatization and completeness results, submitted, 2005."},{"key":"S002248120000596X_ref022","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011958407631"},{"key":"S002248120000596X_ref002","volume-title":"Archive for Mathematical Logic","author":"Cintula","year":"2006"},{"key":"S002248120000596X_ref013","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011906423560"},{"key":"S002248120000596X_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050173"},{"key":"S002248120000596X_ref019","first-page":"669","volume":"65","author":"H\u00e1jek","year":"2000","journal-title":"Rational Pavelka logic is a conservative extension of \u0141ukasiewicz logic"},{"key":"S002248120000596X_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"S002248120000596X_ref017","volume-title":"Proceedings of Linz Seminar 2005","author":"H\u00e1jek"},{"key":"S002248120000596X_ref023","volume-title":"An algebraic approach to non-classical logics","author":"Rasiowa","year":"1974"},{"key":"S002248120000596X_ref024","first-page":"851","volume":"49","author":"Takeuti","year":"1984","journal-title":"Intuitionistic fuzzy logic and intuitionistic fuzzy set theory"},{"key":"S002248120000596X_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-004-0214-6"},{"key":"S002248120000596X_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00041-0"},{"key":"S002248120000596X_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-004-0448-6"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120000596X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:54:30Z","timestamp":1556812470000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120000596X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["S002248120000596X"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1154698581","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}