Article: Verification of Validity of Logical Syllogisms with New Forms of Intermediate Quantifiers Based on Grades
Alternative Title
Authors
Pavliska, Viktor
Murinová, Petra
Editor
Abstract
In this contribution, we continue our investigation of fuzzy Peterson syllogisms. Whereas the previous study concentrated on validating these syllogisms through the construction of formal proofs and semantic verification, the present work focuses on assessing their validity using Peterson’s grade-based rules.
Description
Subject Headings
fuzzy systémy, matematika, informatika
Keywords
fuzzy systems, mathematics, informatics, fuzzy Peterson's syllogisms, intermediate quantifiers, graded Peterson's square of opposition
ISBN
ISSN
DOI
10.15452/978-80-7599-515-5.2026.18
License
CC BY 4.0
Citation
PAVLISKA, Viktor and MURINOVÁ, Petra, 2026. Verification of Validity of Logical Syllogisms with New Forms of Intermediate Quantifiers Based on Grades. Online. In: STUPŇANOVÁ, Andrea; DYBA, Martin and PAVLISKA, Viktor (eds.). Proceedings of The Eighteenth International Conference on Fuzzy Set Theory and Applications. Ostrava: University of Ostrava, p. 90-93. ISBN 978-80-7599-515-5. Available at: https://doi.org/10.15452/978-80-7599-515-5.2026.18.