A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

Studia Logica 100 (4):753-785 (2012)
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-012-9428-5
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 25,091
Through your library
References found in this work BETA
Logics for the Relational Syllogistic.Ian Pratt-hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.

Add more references

Citations of this work BETA
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.

Add more citations

Similar books and articles
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
A Reconstruction of Aristotle's Modal Syllogistic.Marko Malink - 2006 - History and Philosophy of Logic 27 (2):95-141.
Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
Temporally Asymmetric Inference in a Markov Process.Elliott Sober - 1991 - Philosophy of Science 58 (3):398-410.
A 'Natural Logic' Inference System Using the Lambek Calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.

Monthly downloads

Added to index

2012-08-08

Total downloads

27 ( #180,334 of 2,132,865 )

Recent downloads (6 months)

2 ( #288,410 of 2,132,865 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums