On multiple conclusion deductions in classical logic

MaRDI QIDQ4575567zbMATH OpenFDO

Authors Marcel Maretić

Publication date 13 July 2018

Full work available at URL https://hrcak.srce.hr/192128

zbMATH Keywords

analytic deductionsclassical propositional logicKneale's developmentsmultiple conclusion natural deductions

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• Harmony in multiple-conclusion natural-deduction
• Classical natural deduction
• On sequence-conclusion natural deduction systems
• NDK and natural reasoning

Cites work

• Analytic natural deduction
• Classical natural deduction
• Handbook of proof theory
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2020175 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• scientific article; zbMATH DE number 1395652 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Natural deduction, hybrid systems and modal logics
• Normal natural deduction proofs (in classical logic)
• On satisfiability trees
• Proof methods for modal and intuitionistic logics
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic

Cited in

(6)

• Kneale's natural deductions as a notational variant of Beth's tableaus
• Normality, non-contamination and logical depth in classical natural deduction
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Acceptance, inference, and the multiple-conclusion sequent
• scientific article; zbMATH DE number 1497856 (Why is no real title available?)
• Forum: A multiple-conclusion specification logic

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: On multiple conclusion deductions in classical logic

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