Abduction as deductive saturation: a proof-theoretic inquiry

DOI10.1007/s10992-023-09718-3OpenAlexW4386773906MaRDI QIDQ6145029

Gabriele Pulcini, Andrea Sabatini, Mario Piazza

Publication date: 8 January 2024

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

Full work available at URL: https://doi.org/10.1007/s10992-023-09718-3

zbMATH Keywords

analyticityproof theoryabductionrefutation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• A logical calculus for controlled monotonicity
• Abductive reasoning. Logical investigations into discovery and explanation
• Cut and pay
• A logical framework for default reasoning
• Gentzen-type systems, resolution and tableaux
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Refutation systems in modal logic
• Truth-seeking by abduction
• Patterns of abduction
• Truthlikeness: old and new debates
• A note on cut-elimination for classical propositional logic
• Tableaux for structural abduction
• FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC
• First order abduction via tableau and sequent calculi
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• Analytic tableaux for default logics
• A proof theoretical approach to default reasoning I: tableaux for default logic
• Truth approximation via abductive belief change
• Completeness for cut-based abduction
• Cut-Based Abduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abduction as deductive saturation: a proof-theoretic inquiry