A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

研究成果: Article査読

5 被引用数 (Scopus)

抄録

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.

本文言語English
ページ(範囲)753-785
ページ数33
ジャーナルStudia Logica
100
4
DOI
出版ステータスPublished - 2012 8

ASJC Scopus subject areas

  • 論理
  • 科学史および科学哲学

フィンガープリント

「A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル