Some obstacles facing a semantic foundation for constructive mathematics

DOI10.1007/S10670-014-9697-7MaRDI QIDQ320173zbMATHOpenAlexFDO

Authors Michael R. Koss

Publication date 6 October 2016

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10670-014-9697-7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Metamathematics of constructive systems (03F50)

Recommendations

• Proofs and constructions
• Truth-maker semantics for intuitionistic logic
• Dummett's intuitionism is not strict finitism
• The conveyability of intuitionism, an essay on mathematical cognition
• Publication:4817198

Cites work

• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 3151566 (Why is no real title available?)
• scientific article; zbMATH DE number 3508455 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 979859 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 3014189 (Why is no real title available?)
• scientific article; zbMATH DE number 3209149 (Why is no real title available?)
• scientific article; zbMATH DE number 3336772 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume I
• Intuitionism. An introduction
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• The disjunction property of intermediate propositional logics
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• What Negation is not: Intuitionism and '0=1'
• Zur Deutung der intuitionistischen Logik

Cited in

(3)

• Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic
• Classical arithmetic is part of intuitionistic arithmetic
• An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework

This page was built for publication: Some obstacles facing a semantic foundation for constructive mathematics

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