Intuitive counterexamples for constructive fallacies

DOI10.1007/3-540-58338-6_61MaRDI QIDQ5096872zbMATH OpenOpenAlexFDO

Authors James Lipton, Michael J. O'Donnell

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)

Recommendations

• Connecting formal semantics to constructive intuitions
• scientific article; zbMATH DE number 65751
• scientific article; zbMATH DE number 1215498
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• scientific article; zbMATH DE number 1189108

Cites work

• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Another intuitionistic completeness proof
• Combinators, \(\lambda\)-terms and proof theory
• Combinatory logic. With two sections by William Craig.
• Connecting formal semantics to constructive intuitions
• Constructivism in mathematics. An introduction. Volume II
• Forcing in intuitionistic systems without power-set
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3144510 (Why is no real title available?)
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3342819 (Why is no real title available?)
• Logical relations and the typed λ-calculus
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The foundations of mathematics. A study in the philosophy of science

Cited in

(4)

• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Connecting formal semantics to constructive intuitions
• Kripke semantics for dependent type theory and realizability interpretations
• Brouwer's weak counterexamples and testability: further remarks

This page was built for publication: Intuitive counterexamples for constructive fallacies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096872)