Pages that link to "Item:Q1101261"
From MaRDI portal
The following pages link to A more expressive formulation of many sorted logic (Q1101261):
Displaying 17 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Exploiting lattices in a theory of space and time (Q1202661) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- Many-sorted first-order composition-nominative logic as institution (Q1650348) (← links)
- Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- (Q4906770) (← links)
- (Q5101351) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions (Q5236444) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)