A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction

DOI10.1007/978-3-662-55665-8_38zbMath1496.03029OpenAlexW2747167238MaRDI QIDQ1679799

Yosuke Fukuda, Ryosuke Igarashi

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_38

zbMATH Keywords

intuitionistic logicCurry-Howard correspondenceproof-theoretic semanticscatch/throw mechanismex falso quodlibet

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction