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 10 items.
- 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)
- Tableau methods for a logic with term declarations (Q5927986) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)