{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T15:10:03Z","timestamp":1724339403667},"reference-count":19,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2021,1,15]],"date-time":"2021-01-15T00:00:00Z","timestamp":1610668800000},"content-version":"vor","delay-in-days":45,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2020,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a theory of stratified truth with a \u03bc\u2010operator, where terms representing fixed points of stratified monotone operations are available. We prove that is relatively intepretable into Quine's (or subsystems thereof). The motivation is to investigate a strong theory of truth, which is consistent by means of<jats:italic>stratification<\/jats:italic>, i.e., by adopting an implicit type theoretic discipline, and yet is compatible with self\u2010reference (to a certain extent). The present version of is an enhancement of the theory presented in [2].<\/jats:p>","DOI":"10.1002\/malq.201900064","type":"journal-article","created":{"date-parts":[[2021,1,15]],"date-time":"2021-01-15T23:46:53Z","timestamp":1610754413000},"page":"380-394","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A fixed point theory over stratified truth"],"prefix":"10.1002","volume":"66","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[{"name":"Dipartimento di Lettere e Filosofia Universit\u00e0 degli Studi di Firenze Via della Pergola, 60, 50121 Firenze Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2021,1,15]]},"reference":[{"volume-title":"Rudiments of \u03bc\u2010calculus","year":"2001","author":"Arnold A.","key":"e_1_2_8_2_1"},{"key":"e_1_2_8_3_1","first-page":"369","volume-title":"Logic, Epistemology, and the Unity of Science","author":"Cantini A.","year":"2015"},{"key":"e_1_2_8_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/2273386"},{"key":"e_1_2_8_5_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198514770.001.0001","volume-title":"Set Theory with a Universal Set","author":"Forster T.","year":"1995"},{"key":"e_1_2_8_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.12.006"},{"key":"e_1_2_8_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"e_1_2_8_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.04.012"},{"key":"e_1_2_8_9_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275515"},{"key":"e_1_2_8_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0526-5_22"},{"key":"e_1_2_8_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.032"},{"key":"e_1_2_8_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-2803-8"},{"key":"e_1_2_8_13_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275338"},{"key":"e_1_2_8_14_1","unstructured":"M.M\u00f6llerfeld Generalized Inductive Definitions. The \u03bc\u2010Calculus and\u03a021\u2010Comprehension Ph.D. thesis (Westf\u00e4lische Wilhelms\u2010Universit\u00e4t M\u00fcnster 2002)."},{"key":"e_1_2_8_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/2267028"},{"volume-title":"Logic for Mathematicians","year":"1953","author":"Rosser J. B.","key":"e_1_2_8_16_1"},{"key":"e_1_2_8_17_1","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1231081372"},{"key":"e_1_2_8_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2"},{"key":"e_1_2_8_19_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.39.9.972"},{"key":"e_1_2_8_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/3328245"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201900064","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/malq.201900064","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201900064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T13:58:37Z","timestamp":1724335117000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201900064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["10.1002\/malq.201900064"],"URL":"https:\/\/doi.org\/10.1002\/malq.201900064","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"type":"print","value":"0942-5616"},{"type":"electronic","value":"1521-3870"}],"subject":[],"published":{"date-parts":[[2020,12]]},"assertion":[{"value":"2019-09-05","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-01-30","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}