{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T17:16:41Z","timestamp":1784308601302,"version":"3.55.0"},"reference-count":21,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":8777,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1990,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID<jats:sub>1<\/jats:sub>, have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.<\/jats:p>","DOI":"10.2307\/2274965","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:33:48Z","timestamp":1146954828000},"page":"244-259","source":"Crossref","is-referenced-by-count":56,"title":["A theory of formal truth arithmetically equivalent to ID<sub>1<\/sub>"],"prefix":"10.1017","volume":"55","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200026542_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90073-X"},{"key":"S0022481200026542_ref002","first-page":"663","volume":"51","author":"Burgess","year":"1986","journal-title":"The truth is never simple"},{"key":"S0022481200026542_ref012","volume-title":"Topics and perspectives of contemporary logic and philosophy of science","author":"Lolli"},{"key":"S0022481200026542_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5"},{"key":"S0022481200026542_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90075-X"},{"key":"S0022481200026542_ref005","unstructured":"Feferman S. , G\u00f6del's incompleteness theorems and the reflective closure of theories, 33 pages (unpublished)."},{"key":"S0022481200026542_ref019","volume-title":"Formal semantics","author":"van Fraassen","year":"1971"},{"key":"S0022481200026542_ref004","first-page":"99","article-title":"Notes on formal theories of truth","volume":"35","author":"Cartini","year":"1989","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"S0022481200026542_ref003","first-page":"219","volume-title":"Atti delconvegno nazionale dilogica","author":"Cartini","year":"1982"},{"key":"S0022481200026542_ref007","first-page":"17","volume-title":"Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies","volume":"897","author":"Feferman","year":"1981"},{"key":"S0022481200026542_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90096-4"},{"key":"S0022481200026542_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF02297652"},{"key":"S0022481200026542_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S0022481200026542_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF00305492"},{"key":"S0022481200026542_ref015","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S0022481200026542_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71124-8"},{"key":"S0022481200026542_ref017","first-page":"97","volume-title":"Infinitistic methods","author":"Spector","year":"1961"},{"key":"S0022481200026542_ref018","first-page":"455","volume":"52","author":"Turner","year":"1987","journal-title":"A theory of properties"},{"key":"S0022481200026542_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/BF00453021"},{"key":"S0022481200026542_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/BF00453022"},{"key":"S0022481200026542_ref006","unstructured":"Feferman S. , Reflecting on incompleteness, handwritten notes (39 pages), 03 1987."}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200026542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T21:51:50Z","timestamp":1558216310000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200026542\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["S0022481200026542"],"URL":"https:\/\/doi.org\/10.2307\/2274965","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}