Article contents
EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS
Published online by Cambridge University Press: 21 October 2020
Abstract
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.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Review of Symbolic Logic, 2020
References
BIBLIOGRAPHY
- 1
- Cited by