Pages that link to "Item:Q2255203"
From MaRDI portal
The following pages link to A system of relational syllogistic incorporating full Boolean reasoning (Q2255203):
Displaying 6 items.
- Boolean logics with relations (Q604451) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- Mechanizing logic. I: Map logic extended formally to relational arguments (Q759742) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- Relational syllogisms with numerical quantifiers and beyond (Q2135948) (← links)
- On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics (Q5387294) (← links)