Article contents
Syllogistic logic with “Most”
Published online by Cambridge University Press: 13 March 2019
Abstract
We add Most X are Y to the syllogistic logic of All X are Y and Some X are Y. We prove soundness, completeness, and decidability in polynomial time. Our logic has infinitely many rules, and we prove that this is unavoidable.
- Type
- Paper
- Information
- Copyright
- © Cambridge University Press 2019
References
- 4
- Cited by