Intuitive minimal abduction in sequent calculi (Q1389097): Difference between revisions

@@ Property / cites work @@
+A sequent calculus for automated reasoning in symbolic computation systems
+Normal rank
@@ Property / cites work @@
+Analogy calculus
@@ Property / cites work: Analogy calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Analogical type theory
@@ Property / cites work: Analogical type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4279083
@@ Property / cites work: Q4279083 / rank @@
+Normal rank
@@ Property / cites work @@
+First order abduction via tableau and sequent calculi
+Normal rank
@@ Property / cites work @@
+Induction, pure and simple
@@ Property / cites work: Induction, pure and simple / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786007
@@ Property / cites work: Q3786007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank