Emptiness and Discharge in Sequent Calculus and Natural Deduction

DOI10.1007/978-3-319-06080-4_2zbMATH Open1347.03007OpenAlexW1033934183MaRDI QIDQ5259653FDOQ5259653

Luca Tranchini, Michael Arndt

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Dual-intuitionistic logic
• Negation, absurdity and contrariety
• Proofs, disproofs, and their duals
• A remark on Gentzen's calculus of sequents
• Natural deduction for dual-intuitionistic logic

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)