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: 91,219

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.
A relational syllogistic.Marek Nasieniewski - 2004 - Logic and Logical Philosophy 13:139-145.
Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
Syllogistic Logic with Comparative Adjectives.Lawrence S. Moss - 2011 - Journal of Logic, Language and Information 20 (3):397-417.
Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
Syllogistic Logic with Cardinality Comparisons.Lawrence Moss - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.
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.
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.
Argument, Logic, and Reasoning in Composition: Implications Within Toulmin's Model and Feminist Understandings.Keith Stallings Lloyd - 1996 - Dissertation, University of Louisville
A Relational Formalisation Of Arbitrary Finite Valued Logics.B. Konikowska, C. Morgan & E. Orlowska - 1998 - Logic Journal of the IGPL 6 (5):755-774.
Arithmetizations of Syllogistic à la Leibniz.Vladimir Sotirov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):387-405.
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.
An efficient relational deductive system for propositional non-classical logics.Andrea Formisano & Marianna Nicolosi-Asmundo - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):367-408.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.

Analytics

Added to PP
2020-10-21

Downloads
22 (#669,532)

6 months
7 (#350,235)

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 - 2015 - In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Wiley-Blackwell.

Add more references