Some obstacles facing a semantic foundation for constructive mathematics
From MaRDI portal
Publication:320173
DOI10.1007/S10670-014-9697-7zbMath1346.03025OpenAlexW2088133423MaRDI QIDQ320173
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
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Intuitionism. An introduction
- The disjunction property of intermediate propositional logics
- Constructivism in mathematics. An introduction. Volume I
- Zur Deutung der intuitionistischen Logik
- What Negation is not: Intuitionism and '0=1'
- WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
- Propositional Calculus and Realizability
- On the interpretation of intuitionistic number theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Some obstacles facing a semantic foundation for constructive mathematics
