An Alternative Natural Deduction for the Intuitionistic Propositional Logic

DOI10.18778/0138-0680.45.1.03zbMath1403.03013OpenAlexW2617588251MaRDI QIDQ2957671

Mirjana Ilić

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

zbMATH Keywords

natural deductionintuitionistic logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Lectures on the Curry-Howard isomorphism
• Natural deduction with general elimination rules
• A normalizing system of natural deduction for intuitionistic linear logic
• Relevant harmony
• Sequent calculus in natural deduction style

This page was built for publication: An Alternative Natural Deduction for the Intuitionistic Propositional Logic