Intuitive counterexamples for constructive fallacies

DOI10.1007/3-540-58338-6_61zbMATH Open1496.03250OpenAlexW1810809363MaRDI QIDQ5096872FDOQ5096872

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

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cites Work

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

Cited In (4)

• Connecting formal semantics to constructive intuitions
• Kripke semantics for dependent type theory and realizability interpretations
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• 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)