On sequence-conclusion natural deduction systems

DOI10.1007/BF00649481zbMATH Open0572.03033MaRDI QIDQ1062053FDOQ1062053

Authors: Branislav Boričić 

Publication date: 1985

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

Recommendations

• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• scientific article; zbMATH DE number 3275554
• An alternative normalization of the implicative fragment of classical logic
• Natural deduction with general elimination rules
• A note on sequent calculi intermediate between LJ and LK

zbMATH Keywords

proof theorynormal form theoremclassical first order logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• An interpolation theorem in the predicate calculus
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Title not available (Why is that?)
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• Title not available (Why is that?)
• Algebraic proof of the separation theorem on classical propositional calculus
• Title not available (Why is that?)

Cited In (14)

• Antirealism, meaning and truth-conditional semantics
• Speech acts, categoricity, and the meanings of logical connectives
• On multiple conclusion deductions in classical logic
• A note on sequent calculi intermediate between LJ and LK
• Extended Natural Deduction Images of Conversions from the System of Sequents
• A formalization of Kant's transcendental logic
• An alternative normalization of the implicative fragment of classical logic
• Harmony and autonomy in classical logic
• Harmony in multiple-conclusion natural-deduction
• Title not available (Why is that?)
• Existential instantiation and normalization in sequent natural deduction
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1062053)