Published April 30, 2026 | Version v1
Journal article Open

Intermediate syllogisms and non-monotonic reasoning

  • 1. University of Ostrava

Description

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. 

Files

Intermediate syllogisms and non-monotonic reasoning - Novák, Murinová.pdf

Additional details

Funding

Ministry of Education Youth and Sports
Research of Excellence on Digital Technologies and Wellbeing CZ.02.01.01/00/22_008/0004583
Ministry of the Environment of the Czech Republic
REFRESH – Research Excellence For REgion Sustainability and High-tech Industries CZ.10.03.01/00/22_003/0000048