Proofs and Constructions

DOI10.1007/978-94-007-0431-2_11zbMath1317.03038OpenAlexW944211517MaRDI QIDQ5260992

Charles McCarty

Publication date: 1 July 2015

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0431-2_11

zbMATH Keywords

intuitionismweak counterexamplesexternal negationsinternal negationstheories of constructions

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (2)

Dummett's case for intuitionism ⋮ The priority of arithmetical truth over arithmetical provability

This page was built for publication: Proofs and Constructions