A remark on Gentzen's calculus of sequents

DOI10.1305/ndjfl/1093888021zbMath0314.02026OpenAlexW2085057391MaRDI QIDQ1220483

Johannes Czermak

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) General logic (03B99)

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