A Strange Remark Attributed to Gödel

DOI10.1080/0144534021000079315zbMath1045.03002OpenAlexW2009922110WikidataQ58531895 ScholiaQ58531895MaRDI QIDQ4448891

Lloyd Humberstone

Publication date: 23 March 2004

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0144534021000079315

zbMATH Keywords

Gödellocal finitenesshistory of logictabularitynumber of truth values

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

When is a schema not a schema? On a remark by Suszko

Cites Work

• Unnamed Item
• Unnamed Item
• Applications of weak Kripke semantics to intermediate consequences
• Semantical investigations in Heyting's intuitionistic logic
• A simple decision procedure for one-variable implication/negation formulae in intuitionist logic
• On closed elements in closure algebras
• R_I the Bounds of Finitude
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: A Strange Remark Attributed to Gödel