Verification of Validity of Logical Syllogisms Generated by Cube of Opposition using Extended Peterson's Rules

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F25%3AA2603A70" target="_blank" >RIV/61988987:17610/25:A2603A70 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/chapter/10.1007/978-3-031-97225-6_14" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-97225-6_14</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-97225-6_14" target="_blank" >10.1007/978-3-031-97225-6_14</a>

Result language
angličtina
Original language name
Verification of Validity of Logical Syllogisms Generated by Cube of Opposition using Extended Peterson's Rules
Original language description
In this paper, we first advocate for mathematical logic as an indispensable tool for the development of AI. Then we will introduce the concept of intermediate quantifiers and syllogisms with them. Furthermore, we will introduce the graded cube of opposition and suggest extended Peterson's rules for verification of validity of syllogisms with negations. We will prove that all valid syllogisms with negations verify the extended Peterson's rules.
Czech name
—
Czech description
—

Project
<a href="/en/project/EH23_025%2F0008724" target="_blank" >EH23_025/0008724: Biography of Fake News with a Touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)