The following pages link to Hierarchical deduction (Q1098332):
Displaying 15 items.
- Refinements to depth-first iterative-deepening search in automatic theorem proving (Q582116) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- A semantic backward chaining proof system (Q1193483) (← links)
- Hierarchical decision procedure (Q1364075) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Hierarchies in Dependence Logic (Q2946680) (← links)
- Hierarchical logical consequence (Q3119162) (← links)
- Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (Q4272504) (← links)
- (Q5187044) (← links)
- Semantically guided first-order theorem proving using hyper-linking (Q5210771) (← links)
- Hierarchical Organisation of Predicate-Semantic Models (Q5307480) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
- Hierarchical Unambiguity (Q5756711) (← links)
- Conditional term rewriting and first-order theorem proving (Q5881190) (← links)
- A complete semantic back chaining proof system (Q6488519) (← links)