Intermediate syllogisms and non-monotonic reasoning
Abstract
In this article, we will show how relations forming the graded Peterson's square of opposition (contrary, contradictory, sub-contrary and sub-alterns) are connected with intermediate logical syllogisms, i.e., syllogisms that contain intermediate quantifiers. Our results are related to the theory of non-monotonic reasoning.
Fields of Study & Subjects
Advanced Algebra and Logic
Logic
Reasoning
and Knowledge
programming
and type systems
Publication details
- Journal / source
- International Journal of Approximate Reasoning
- Publisher
- Elsevier BV
- Volume
- 196
- Pages
- 109687–109687
- Publication date
- 30 April 2026
- Language
- EN