scientific article; zbMATH DE number 874672
From MaRDI portal
zbMath0866.03028MaRDI QIDQ4877107
Publication date: 6 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
derivabilitynormalizationcut-eliminationsequent calculiconsequencenatural deduction systemsmultiple conclusion calculus
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items
Natural deduction for bi-intuitionistic logic, Normalization of N-graphs via sub-N-graphs, Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi, Speech acts, categoricity, and the meanings of logical connectives, Unnamed Item, Prawitz, Proofs, and Meaning, Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization, Harmony and autonomy in classical logic, Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation, Varieties of linear calculi
