A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Research output: Contribution to journalArticle

5 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)753-785
Number of pages33
JournalStudia Logica
Volume100
Issue number4
DOIs
Publication statusPublished - 2012 Aug

Fingerprint

Inclusion
Fragment
Natural Language
Normalization
Logic
Term
Theorem
Exclusion
Inference
Syllogistic

Keywords

  • Natural deduction
  • Normalization
  • Proof theory
  • Syllogistic logic

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science

Cite this

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. / Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo.

In: Studia Logica, Vol. 100, No. 4, 08.2012, p. 753-785.

Research output: Contribution to journalArticle

Mineshima, Koji ; Okada, Mitsuhiro ; Takemura, Ryo. / A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. In: Studia Logica. 2012 ; Vol. 100, No. 4. pp. 753-785.
@article{6d49ac7b543b4115a603c4b11c23affb,
title = "A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations",
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 = "Natural deduction, Normalization, Proof theory, Syllogistic logic",
author = "Koji Mineshima and Mitsuhiro Okada and Ryo Takemura",
year = "2012",
month = "8",
doi = "10.1007/s11225-012-9428-5",
language = "English",
volume = "100",
pages = "753--785",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "4",

}

TY - JOUR

T1 - A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

AU - Mineshima, Koji

AU - Okada, Mitsuhiro

AU - Takemura, Ryo

PY - 2012/8

Y1 - 2012/8

N2 - 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.

AB - 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.

KW - Natural deduction

KW - Normalization

KW - Proof theory

KW - Syllogistic logic

UR - http://www.scopus.com/inward/record.url?scp=84866074317&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84866074317&partnerID=8YFLogxK

U2 - 10.1007/s11225-012-9428-5

DO - 10.1007/s11225-012-9428-5

M3 - Article

VL - 100

SP - 753

EP - 785

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 4

ER -