The Relational Syllogistic Revisited

Ian Pratt-Hartmann


Abstract
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 extension of this language which does.
Anthology ID:
2014.lilt-9.8
Volume:
Linguistic Issues in Language Technology, Volume 9, 2014 - Perspectives on Semantic Representations for Textual Inference
Month:
Year:
2014
Address:
Venue:
LILT
SIG:
Publisher:
CSLI Publications
Note:
Pages:
Language:
URL:
https://aclanthology.org/2014.lilt-9.8
DOI:
Bibkey:
Cite (ACL):
Ian Pratt-Hartmann. 2014. The Relational Syllogistic Revisited. Linguistic Issues in Language Technology, 9.
Cite (Informal):
The Relational Syllogistic Revisited (Pratt-Hartmann, LILT 2014)
Copy Citation:
PDF:
https://aclanthology.org/2014.lilt-9.8.pdf