The following pages link to Syllogistic Logics with Verbs (Q3583102):
Displayed 11 items.
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- Proof-theoretic semantics for subsentential phrases (Q969428) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- Relational syllogisms with numerical quantifiers and beyond (Q2135948) (← links)
- Natural density and the quantifier ``most'' (Q2228451) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- A cube of opposition for predicate logic (Q2307718) (← links)
- EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS (Q5024507) (← links)
- Most-intersection of countable sets (Q5862003) (← links)
- A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams (Q6089954) (← links)