GÖDEL ON MANY-VALUED LOGIC
From MaRDI portal
Publication:6074936
DOI10.1017/s1755020321000034OpenAlexW3129224742MaRDI QIDQ6074936
Publication date: 20 September 2023
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020321000034
Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Many-valued logic (03B50)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A map of dependencies among three-valued logics
- Investigations into the system of intuitionistic logic
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
- Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
- Can Mathematics Be Proved Consistent?
- The Great Formal Machinery Works
- On notation for ordinal numbers
- Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach
This page was built for publication: GÖDEL ON MANY-VALUED LOGIC