A typed resolution principle for deduction with conditional typing theory (Q1855225): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution principle for a logic with restricted quantifiers
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+A more expressive formulation of many sorted logic
+Normal rank
@@ Property / cites work @@
+Q3495342
@@ Property / cites work: Q3495342 / rank @@
+Normal rank
@@ Property / cites work @@
+The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem-Proving by Model Elimination
@@ Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic backward chaining proof system
@@ Property / cites work: A semantic backward chaining proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Using sophisticated models in resolution theorem proving
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+A mechanical solution of Schubert's steamroller by many-sorted resolution
+Normal rank
@@ Property / cites work @@
+Hierarchical deduction
@@ Property / cites work: Hierarchical deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1855225