On sequence-conclusion natural deduction systems

DOI10.1007/BF00649481zbMath0572.03033MaRDI QIDQ1062053

Branislav R. Boričić

Publication date: 1985

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

proof theorynormal form theoremclassical first order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Related Items (11)

Antirealism, Meaning and Truth-Conditional Semantics ⋮ A note on sequent calculi intermediate between LJ and LK ⋮ Existential instantiation and normalization in sequent natural deduction ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC ⋮ Harmony and autonomy in classical logic ⋮ Single-assumption systems in proof-theoretic semantics ⋮ The revival of rejective negation ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI ⋮ An alternative normalization of the implicative fragment of classical logic

Cites Work

• An interpolation theorem in the predicate calculus
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Algebraic proof of the separation theorem on classical propositional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On sequence-conclusion natural deduction systems