Pages that link to "Item:Q1182164"
From MaRDI portal
The following pages link to The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164):
Displayed 17 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- An order-sorted resolution in theory and practice (Q1390960) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Limited reasoning in first-order knowledge bases with full introspection (Q2171268) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Building Theorem Provers (Q5191110) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Completion for constrained term rewriting systems (Q5881204) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)