An Alternative Natural Deduction for the Intuitionistic Propositional Logic
From MaRDI portal
Publication:2957671
DOI10.18778/0138-0680.45.1.03zbMath1403.03013MaRDI QIDQ2957671
Publication date: 27 January 2017
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.45.1.03
03F05: Cut-elimination and normal-form theorems
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Cites Work