{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:30:35Z","timestamp":1759638635835},"reference-count":5,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In [This Zeitschrift <jats:bold>25<\/jats:bold> (1979), 45\u201052, 119\u2010134, 447\u2010464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generalized quantifiers into Pavelka's logic and establish the fundamental theorem of ultraproduct in first order Pavelka's logic with generalized quantifiers. In the second part of this paper we show that the fundamental theorem of ultraproduct in first order Pavelka's logic is preserved under some direct product of lattices of truth values.<\/jats:p>","DOI":"10.1002\/malq.19920380115","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:45:00Z","timestamp":1180417500000},"page":"197-201","source":"Crossref","is-referenced-by-count":16,"title":["THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC"],"prefix":"10.1002","volume":"38","author":[{"given":"Mingsheng","family":"Ying","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Model Theory","author":"Chang C. C.","year":"1973"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.4064\/fm-44-1-12-36","article-title":"On a generalization of quantifiers","volume":"44","author":"Mostowski A.","year":"1957","journal-title":"Fund. Math."},{"key":"e_1_2_1_4_2","first-page":"45","article-title":"On fuzzy logic I: Many\u2010valued rules of inference","volume":"25","author":"Pavelka J.","year":"1979","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_5_2","first-page":"119","article-title":"On fuzzy logic II: Enriched residuated lattices and semantics of propositional calculi","volume":"25","author":"Pavelka J.","year":"1979","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_6_2","first-page":"447","article-title":"On fuzzy logic III: Semantical completeness of some many\u2010valued propositional calculi","volume":"25","author":"Pavelka J.","year":"1979","journal-title":"This Zeitschrift"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380115","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:35:56Z","timestamp":1695846956000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380115"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380115","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}