Intuitive counterexamples for constructive fallacies

DOI10.1007/3-540-58338-6_61zbMath1496.03250OpenAlexW1810809363MaRDI QIDQ5096872

Michael J. O'Donnell, James Lipton

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58338-6_61

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items

Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The foundations of mathematics. A study in the philosophy of science
• Constructivism in mathematics. An introduction. Volume II
• Combinators, \(\lambda\)-terms and proof theory
• Logical relations and the typed λ-calculus
• Forcing in intuitionistic systems without power-set
• Another intuitionistic completeness proof
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Connecting formal semantics to constructive intuitions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Propositional Calculus and Realizability
• On the interpretation of intuitionistic number theory