scientific article; zbMATH DE number 6903784

zbMath1436.03091MaRDI QIDQ4575567

Marcel Maretić

Publication date: 13 July 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classical propositional logicanalytic deductionsKneale's developmentsmultiple conclusion natural deductions

Mathematics Subject Classification ID

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

Related Items (2)

Kneale's natural deductions as a notational variant of Beth's tableaus ⋮ Normality, non-contamination and logical depth in classical natural deduction

Uses Software

• Pesca

Cites Work

• Natural deduction, hybrid systems and modal logics
• Proof methods for modal and intuitionistic logics
• Handbook of proof theory
• Normal natural deduction proofs (in classical logic)
• ON SATISFIABILITY TREES
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• Analytic natural deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: