Verification of Validity of Logical Syllogisms Generated by Cube of Opposition using Extended Peterson's Rules
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Verification of Validity of Logical Syllogisms Generated by Cube of Opposition using Extended Peterson's Rules
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Verification of Validity of Logical Syllogisms Generated by Cube of Opposition using Extended Peterson's Rules
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/EH23_025%2F0008724" target="_blank" >EH23_025/0008724: Biografie dezinformace s přívlastkem AI: Rizikový fenomén prizmatem moderních věd o člověku</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Advances in Fuzzy Logic and Technology
ISBN
978-3-031-97225-6
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
12
Strana od-do
166-177
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Riga
Datum konání akce
21. 7. 2025
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—