A binary-conclusion natural deduction system

DOI10.1093/JIGPAL/7.4.517zbMATH Open0957.03008OpenAlexW2165827243MaRDI QIDQ4700538FDOQ4700538

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)

Cited In (1)

• A system of quantificational deduction

   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 👍 👎
• Title not available (Why is that?) 👍 👎

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)