A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

Studia Logica 100 (4):753-785 (2012)
  Copy   BIBTEX

Abstract

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

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

Through your library

Analytics

Added to PP
2012-08-08

Downloads
60 (#269,217)

6 months
11 (#243,798)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Essays in Logical Semantics.Johan van Benthem - 1988 - Studia Logica 47 (2):172-173.

View all 12 references / Add more references