A generalized syllogistic inference system based on inclusion and exclusion relations

DOI10.1007/S11225-012-9428-5zbMath1252.03071OpenAlexW2125580726MaRDI QIDQ692203

Ryo Takemura, Koji Mineshima, Mitsuhiro Okada

Publication date: 4 December 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9428-5

zbMATH Keywords

proof theorynormalizationnatural deductionsyllogistic logic

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Related Items (2)

How diagrams can support syllogistic reasoning: an experimental study ⋮ A generalized syllogistic inference system based on inclusion and exclusion relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalized syllogistic inference system based on inclusion and exclusion relations
• Aristotelian syllogisms and generalized quantifiers
• Proof-theoretic semantics for subsentential phrases
• Essays in logical semantics
• A diagrammatic inference system with Euler circles
• What is a syllogism?
• Aristotle's syllogistic from the standpoint of modern formal logic
• Syllogistic Logics with Verbs
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

This page was built for publication: A generalized syllogistic inference system based on inclusion and exclusion relations