A Critical Remark on the BHK Interpretation of Implication
From MaRDI portal
Publication:5499599
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
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