Pages that link to "Item:Q1193491"
From MaRDI portal
The following pages link to Natural language syntax and first-order inference (Q1193491):
Displaying 8 items.
- Tarskian set constraints (Q1854523) (← links)
- The Hamiltonian syllogistic (Q2255182) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- A KNOWLEDGE REPRESENTATION LANGUAGE FOR NATURAL LANGUAGE PROCESSING, SIMULATION AND REASONING (Q4649248) (← links)
- EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS (Q5024507) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)
- Modal syllogistic (Q6599618) (← links)
