Classical natural deduction

MaRDI QIDQ3007254zbMATH OpenFDO

Authors Marcello D'Agostino

Publication date 21 June 2011

zbMATH Keywords

natural deductionnormalizationclassical analytic proofstrictly analytic refutations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1337625
• Normal derivability in classical natural deduction
• Normal natural deduction proofs (in classical logic)
• The Taming of the Cut. Classical Refutations with Analytic Cut
• scientific article; zbMATH DE number 1406467

Cited in

(12)

• Normality, non-contamination and logical depth in classical natural deduction
• Informational semantics, non-deterministic matrices and feasible deduction
• Semantics and proof-theory of depth bounded Boolean logics
• On multiple conclusion deductions in classical logic
• The enduring scandal of deduction. Is propositional logic really uninformative?
• Normal natural deduction proofs (in classical logic)
• Towards a Canonical Classical Natural Deduction System
• An informational view of classical logic
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• Deduction at the crossroads
• On an ecumenical natural deduction with \textit{stoup}. I: The propositional case
• Classical logic, argument and dialectic

This page was built for publication: Classical natural deduction

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