6533b872fe1ef96bd12d3baf
RESEARCH PRODUCT
The Relational Syllogistic Revisited
subject
syllogismnatural logicreasoningdescription
The relational syllogistic is an extension of the language of Classical syllogisms in which predicates are allowed to feature transitive verbs with quantified objects. It is known that the relational syllogistic does not admit a finite set of syllogism-like rules whose associated (direct) derivation relation is sound and complete. We present a modest ex- tension of this language which does.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2013-01-01 | Linguistic Issues in Language Technology |