Exploring the Landscape of Relational Syllogistic Logics

&
Review of Symbolic Logic 14 (3):728-765 (2021)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020320000386

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logics for the relational syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
On the computational complexity of the numerically definite syllogistic and related logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
Syllogistic Logic with Comparative Adjectives.Lawrence S. Moss - 2011 - Journal of Logic, Language and Information 20 (3):397-417.
Syllogistic Logic with Cardinality Comparisons, on Infinite Sets.Lawrence S. Moss & Selçuk Topal - 2020 - Review of Symbolic Logic 13 (1):1-22.
Modal Syllogistic.Dimiter Vakarelov & Tsvetan Vasilev - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag.
A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
A relational syllogistic.Marek Nasieniewski - 2004 - Logic and Logical Philosophy 13:139-145.
Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - History and Philosophy of Logic 29 (4):309-325.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.

Analytics

Added to PP
2020-10-21

Downloads
8 (#517,646)

6 months
24 (#640,997)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Larry Moss
Indiana University

Citations of this work

No citations found.

Add more citations

References found in this work

Logics for the relational syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
Natural logic.Lawrence S. Moss - 1996 - In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Hoboken: Wiley-Blackwell.

Add more references