Emptiness and discharge in sequent calculus and natural deduction

DOI10.1007/978-3-319-06080-4_2MaRDI QIDQ5259653zbMATH OpenOpenAlexFDO

Authors Michael Arndt, Luca Tranchini

Publication date 29 June 2015

Published in Recent Trends in Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06080-4_2

zbMATH Keywords

natural deductionsequent calculusdual intuitionistic logicpseudo-constants

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Natural deduction and sequent calculus for intuitionistic relevant logic
• Sequent calculus in natural deduction style
• Marginalia on sequent claculi
• scientific article; zbMATH DE number 1406467
• Natural deduction with general elimination rules

Cites work

• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A remark on Gentzen's calculus of sequents
• Dual-intuitionistic logic
• Natural deduction for dual-intuitionistic logic
• Negation, absurdity and contrariety
• Proofs, disproofs, and their duals

This page was built for publication: Emptiness and discharge in sequent calculus and natural deduction

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