A binary-conclusion natural deduction system

DOI10.1093/JIGPAL/7.4.517zbMath0957.03008OpenAlexW2165827243MaRDI QIDQ4700538

Ken-etsu Fujita

Publication date: 22 March 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.4.517

zbMATH Keywords

natural deductionintuitionistic logicclassical predicate logic

Mathematics Subject Classification ID

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

This page was built for publication: A binary-conclusion natural deduction system