EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS
Published online by Cambridge University Press: 21 October 2020
This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decidable logical systems. We prove completeness theorems and complexity results for a natural subfamily of relational syllogistic logics, parametrized by constructors for terms and for sentences.
- Research Article
- © The Review of Symbolic Logic, 2020