Article: Verification of Validity of Logical Syllogisms with New Forms of Intermediate Quantifiers Based on Grades
| dc.audience | Researchers | en |
| dc.contributor.author | Pavliska, Viktor | |
| dc.contributor.author | Murinová, Petra | |
| dc.date.accessioned | 2026-02-06T11:57:32Z | |
| dc.date.available | 2026-02-06T11:57:32Z | |
| dc.date.issued | 2026 | |
| dc.description.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. | en |
| dc.description.sponsorship | The paper is supported by the project “Research of Excellence on Digital Technologies and Wellbeing CZ.02.01.01/00/22_008/0004583” which is co-financed by the European Union. | |
| dc.identifier.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. | en |
| dc.identifier.doi | 10.15452/978-80-7599-515-5.2026.18 | |
| dc.identifier.uri | https://eduo.osu.cz/handle/1/241 | |
| dc.language.iso | en | |
| dc.rights.license | CC BY 4.0 | |
| dc.subject | fuzzy systems | en |
| dc.subject | mathematics | en |
| dc.subject | informatics | en |
| dc.subject | fuzzy Peterson's syllogisms | en |
| dc.subject | intermediate quantifiers | en |
| dc.subject | graded Peterson's square of opposition | en |
| dc.subject.czenas | fuzzy systémy | cz |
| dc.subject.czenas | matematika | cz |
| dc.subject.czenas | informatika | cz |
| dc.subject.konspekt | 519.1/.8 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování | cz |
| dc.title | Verification of Validity of Logical Syllogisms with New Forms of Intermediate Quantifiers Based on Grades | en |
| dc.type | info:eu-repo/semantics/conferencePaper | |
| dcterms.event | The Eighteenth International Conference on Fuzzy Set Theory and Applications, Liptovský Ján, January 25 – 30, 2026 | |
| dspace.entity.type | Article | |
| oaire.resourceType | conference paper | |
| oaire.version | info:eu-repo/semantics/publishedVersion | |
| relation.isPublicationOfArticle | 6afab15b-8c40-42f9-a7ec-39737fc00100 | |
| relation.isPublicationOfArticle.latestForDiscovery | 6afab15b-8c40-42f9-a7ec-39737fc00100 |
Files
Original bundle
1 - 1 of 1