A generalized syllogistic inference system based on inclusion and exclusion relations
From MaRDI portal
Publication:692203
DOI10.1007/S11225-012-9428-5zbMATH Open1252.03071OpenAlexW2125580726MaRDI QIDQ692203FDOQ692203
Authors: Koji Mineshima, Mitsuhiro Okada, Ryo Takemura 
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Essays in logical semantics
- Title not available (Why is that?)
- Aristotelian syllogisms and generalized quantifiers
- A diagrammatic inference system with Euler circles
- What is a syllogism?
- Aristotle's syllogistic from the standpoint of modern formal logic
- Title not available (Why is that?)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC
- Proof-theoretic semantics for subsentential phrases
- Syllogistic logics with verbs
- A generalized syllogistic inference system based on inclusion and exclusion relations
Cited In (7)
- A generalized syllogistic inference system based on inclusion and exclusion relations
- Inclusion and exclusion in natural language
- Title not available (Why is that?)
- Set containment inference and syllogisms
- A revised projectivity calculus for inclusion and exclusion reasoning
- How diagrams can support syllogistic reasoning: an experimental study
- Higher-order syllogistics
This page was built for publication: A generalized syllogistic inference system based on inclusion and exclusion relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692203)
