Some obstacles facing a semantic foundation for constructive mathematics

DOI10.1007/S10670-014-9697-7zbMATH Open1346.03025OpenAlexW2088133423MaRDI QIDQ320173FDOQ320173

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

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
• scientific article; zbMATH DE number 2101972

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)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionism. An introduction
• The disjunction property of intermediate propositional logics
• On the interpretation of intuitionistic number theory
• Zur Deutung der intuitionistischen Logik
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• What Negation is not: Intuitionism and '0=1'
• Title not available (Why is that?)
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional Calculus and Realizability

Cited In (3)

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

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)