The following pages link to Syllogistic Logics with Verbs (Q3583102):
Displaying 15 items.
- Syllogistic logic with comparative adjectives (Q438598) (← links)
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- Predication in the logic of terms (Q918527) (← links)
- Proof-theoretic semantics for subsentential phrases (Q969428) (← links)
- Major parts of speech (Q1709039) (← 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)
- Syllogistic with Indefinite Terms (Q4983321) (← 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)