A remark on Gentzen's calculus of sequents
From MaRDI portal
Publication:1220483
DOI10.1305/ndjfl/1093888021zbMath0314.02026OpenAlexW2085057391MaRDI QIDQ1220483
Publication date: 1977
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888021
Related Items
Dual-intuitionistic logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ The semi Heyting-Brouwer logic ⋮ On the unity of duality ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Falsification-aware semantics and sequent calculi for classical logic ⋮ Emptiness and Discharge in Sequent Calculus and Natural Deduction