The following pages link to Logic of many-sorted theories (Q5816105):
Displaying 21 items.
- Investigations in many-sorted quantor logic (Q774393) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- Mathematical properties common in all mechanism models of chemical reactions (Q1107475) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- Schrödinger logics (Q1338481) (← links)
- An order-sorted resolution in theory and practice (Q1390960) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Automatic generation of logical models with AGES (Q2305421) (← links)
- A theory of restricted quantification I (Q3249762) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- (Q5528633) (← links)
- Syllogism and quantification (Q5731761) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)