Exploring the Landscape of Relational Syllogistic Logics
Logic
2023-06-22 v2 Computation and Language
Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1809.00656,
title = {Exploring the Landscape of Relational Syllogistic Logics},
author = {Alex Kruckman and Lawrence S. Moss},
journal= {arXiv preprint arXiv:1809.00656},
year = {2023}
}
Comments
Final version