{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T07:10:58Z","timestamp":1722237058212},"reference-count":6,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2003,11,26]],"date-time":"2003-11-26T00:00:00Z","timestamp":1069804800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2004,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This note contains a correct proof of the fact that the set of all first\u2010order formulas which are valid in all predicate Kripke frames for H\u00e1jek's many\u2010valued logic BL is not arithmetical. The result was claimed in [5], but the proof given there was incorrect. (\u00a9 2003 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200310081","type":"journal-article","created":{"date-parts":[[2004,1,16]],"date-time":"2004-01-16T15:51:49Z","timestamp":1074268309000},"page":"104-107","source":"Crossref","is-referenced-by-count":5,"title":["Corrigendum to \u201cKripke\u2010style semantics for many\u2010valued logics\u201d"],"prefix":"10.1002","volume":"50","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Sacchetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2003,11,26]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(02)00329-8"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"P.H\u00e1jek Metamathematics of Fuzzy Logic (Kluwer Dordrecht 1998).","DOI":"10.1007\/978-94-011-5300-3"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011958407631"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310068"},{"key":"e_1_2_1_7_2","unstructured":"M. E.Ragaz Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik. Thesis ETH Z\u00fcrich 1981."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200310081","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200310081","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200310081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T08:59:41Z","timestamp":1697101181000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200310081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,11,26]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["10.1002\/malq.200310081"],"URL":"https:\/\/doi.org\/10.1002\/malq.200310081","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,11,26]]}}}