Emptiness and Discharge in Sequent Calculus and Natural Deduction

DOI10.1007/978-3-319-06080-4_2zbMath1347.03007OpenAlexW1033934183MaRDI QIDQ5259653

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

sequent calculusnatural deductiondual 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

• Natural deduction for dual-intuitionistic logic
• A remark on Gentzen's calculus of sequents
• Dual-intuitionistic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Emptiness and Discharge in Sequent Calculus and Natural Deduction