A Critical Remark on the BHK Interpretation of Implication

DOI10.4000/PHILOSOPHIASCIENTIAE.965zbMath1325.03009OpenAlexW1606166967MaRDI QIDQ5499599

Wagner de Campos Sanz, Thomas Piecha

Publication date: 30 July 2015

Published in: Philosophia Scientae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4000/philosophiascientiae.965

zbMATH Keywords

BHK interpretationPost system

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (3)

Failure of completeness in proof-theoretic semantics ⋮ Prawitz, Proofs, and Meaning ⋮ Hypothesis-Discharging Rules in Atomic Bases

This page was built for publication: A Critical Remark on the BHK Interpretation of Implication