Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029): Difference between revisions

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