{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T17:40:02Z","timestamp":1724521202960},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2021,2,22]],"date-time":"2021-02-22T00:00:00Z","timestamp":1613952000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper collects and presents unpublished notes of Kurt G\u00f6del concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.<\/jats:p>","DOI":"10.1017\/s1755020321000034","type":"journal-article","created":{"date-parts":[[2021,2,22]],"date-time":"2021-02-22T07:49:44Z","timestamp":1613980184000},"page":"655-671","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["G\u00d6DEL ON MANY-VALUED LOGIC"],"prefix":"10.1017","volume":"16","author":[{"given":"TIM","family":"LETHEN","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,2,22]]},"reference":[{"key":"S1755020321000034_r32","doi-asserted-by":"publisher","DOI":"10.2307\/421184"},{"volume-title":"Kurt G\u00f6del\u2014Philosophische Notizb\u00fccher","year":"2019","author":"Engelen","key":"S1755020321000034_r6"},{"key":"S1755020321000034_r19","doi-asserted-by":"crossref","unstructured":"[19] Lethen, T. (2020a). Kurt G\u00f6del on logical, theological, and physical antinomies. Submitted for publication.","DOI":"10.1017\/bsl.2021.41"},{"volume-title":"Polish Logic, 1920\u20131939","year":"1967","author":"McCall","key":"S1755020321000034_r27"},{"volume-title":"G\u00f6del\u2019s Unfinished Book on Foundational Research in Mathematics","year":"2021","author":"von Plato","key":"S1755020321000034_r31"},{"key":"S1755020321000034_r21","unstructured":"[21] Lethen, T. (2020c). Mistakes in the bible\u2014Kurt G\u00f6del\u2019s biblical studies. Submitted for publication."},{"key":"S1755020321000034_r10","volume-title":"A Treatise on Many-Valued Logics","volume":"9","author":"Gottwald","year":"2001"},{"key":"S1755020321000034_r7","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195072556.001.0001","volume-title":"Kurt G\u00f6del, Collected Works","volume":"III","author":"Feferman","year":"1995"},{"key":"S1755020321000034_r11","first-page":"266","article-title":"Der Typusbegriff im Lichte der neuen Logik, von C. G. Hempel and P. Oppenheim (Besprechung)","volume":"6","author":"Grelling","year":"1936","journal-title":"Erkenntnis"},{"volume-title":"Mathematische Grundlagenforschung: Intuitionismus, Beweistheorie","year":"1934","author":"Heyting","key":"S1755020321000034_r14"},{"key":"S1755020321000034_r17","doi-asserted-by":"publisher","DOI":"10.2307\/2267778"},{"key":"S1755020321000034_r23","first-page":"170","article-title":"O logice tr\u00f3jwarto\u015bciowej","volume":"5","author":"\u0141ukasiewicz","year":"1920","journal-title":"Ruch Filozoficny"},{"key":"S1755020321000034_r24","first-page":"51","article-title":"Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalk\u00fcls","volume":"23","author":"\u0141ukasiewicz","year":"1930","journal-title":"Comptes rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"volume-title":"Gespr\u00e4che, Vortr\u00e4ge, S\u00e9ancen: Kurt G\u00f6dels Wiener Protokolle 1937\/38\u2014Transkriptionen und Kommentare","year":"2020b","author":"Lethen","key":"S1755020321000034_r20"},{"key":"S1755020321000034_r4","doi-asserted-by":"publisher","DOI":"10.1080\/01445348108837023"},{"key":"S1755020321000034_r3","first-page":"287","article-title":"Ob odnom tr\u00e9chzna\u010dnom is\u010disl\u00e9nii i \u00e9go prim\u00e9n\u00e9nii k analizu paradoksov klassi\u010d\u00e9skogo ras\u0161irennogo funkcjonal\u2019nogo is\u010disl\u00e9nija","volume":"4","author":"Bochvar","year":"1938","journal-title":"Mat\u00e9mati\u010d\u00e9skij Sbornik"},{"key":"S1755020321000034_r13","first-page":"42","article-title":"Die formalen Regeln der intuitionistischen Logik","author":"Heyting","year":"1930","journal-title":"Sitzungsberichte Preu\u00dfische Akademie der Wissenschaften Berlin, physikalisch-mathematische Klasse II"},{"volume-title":"Der Typusbegriff im Lichte der neuen Logik","year":"1936","author":"Hempel","key":"S1755020321000034_r12"},{"key":"S1755020321000034_r8","first-page":"65","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl","volume":"69","author":"G\u00f6del","year":"1932","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"S1755020321000034_r25","first-page":"30","article-title":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl","volume":"23","author":"\u0141ukasiewicz","year":"1930","journal-title":"Comptes rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"S1755020321000034_r29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50876-0"},{"key":"S1755020321000034_r2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01283841"},{"key":"S1755020321000034_r5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.06.040"},{"key":"S1755020321000034_r15","first-page":"58","article-title":"Recherches sur le syst\u00e8me de la logique intuitioniste","volume":"6","author":"Ja\u015bkowski","year":"1936","journal-title":"Actes du Congr\u00e8s International de Philosophie Scientifique"},{"key":"S1755020321000034_r16","first-page":"117","article-title":"Investigations into the system of intuitionist logic","volume":"34","author":"Ja\u015bkowski","year":"1975","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"volume-title":"The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age","year":"2017","author":"von Plato","key":"S1755020321000034_r30"},{"key":"S1755020321000034_r9","unstructured":"[9] G\u00f6del, K. (2021). Results on foundations. Edited by Maria H\u00e4meen-Anttila and Jan von Plato. In preparation."},{"key":"S1755020321000034_r26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-Valued Logics","author":"Malinowski","year":"1993"},{"key":"S1755020321000034_r28","doi-asserted-by":"publisher","DOI":"10.2307\/2370324"},{"volume-title":"Introduction to Metamathematics","year":"1952","author":"Kleene","key":"S1755020321000034_r18"},{"volume-title":"Vienna Circle and Religion","year":"2020d","author":"Lethen","key":"S1755020321000034_r22"},{"volume-title":"Beitr\u00e4ge zur axiomatischen Behandlung des Logik-Kalk\u00fcls","year":"1918","author":"Bernays","key":"S1755020321000034_r1"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T16:45:28Z","timestamp":1724517928000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000034\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,22]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["S1755020321000034"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000034","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2021,2,22]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}