A binary-conclusion natural deduction system

DOI10.1093/JIGPAL/7.4.517MaRDI QIDQ4700538zbMATH OpenOpenAlexFDO

Authors Ken-etsu Fujita

Publication date 22 March 2001

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

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

zbMATH Keywords

intuitionistic logicnatural deductionclassical predicate logic

Mathematics Subject Classification ID

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

Recommendations

• On sequence-conclusion natural deduction systems
• Natural deduction for bi-intuitionistic logic
• Natural deduction for dual-intuitionistic logic
• A natural extension of natural deduction
• scientific article; zbMATH DE number 3275554

Cited in

(1)

• A system of quantificational deduction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700538)