On sequence-conclusion natural deduction systems
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 3813515 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3236052 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 3358455 (Why is no real title available?)
- scientific article; zbMATH DE number 3196253 (Why is no real title available?)
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
- Algebraic proof of the separation theorem on classical propositional calculus
- An interpolation theorem in the predicate calculus
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Normalization as a homomorphic image of cut-elimination
- The correspondence between cut-elimination and normalization
Cited in
(15)- scientific article; zbMATH DE number 874672 (Why is no real title available?)
- An alternative normalization of the implicative fragment of classical logic
- Antirealism, meaning and truth-conditional semantics
- Harmony and autonomy in classical logic
- Existential instantiation and normalization in sequent natural deduction
- Single-assumption systems in proof-theoretic semantics
- Harmony in multiple-conclusion natural-deduction
- Extended Natural Deduction Images of Conversions from the System of Sequents
- Speech acts, categoricity, and the meanings of logical connectives
- On multiple conclusion deductions in classical logic
- A formalization of Kant's transcendental logic
- A Sequent Systems without Improper Derivations
- A note on sequent calculi intermediate between LJ and LK
- 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)
