Peterson's Rules based on Grades for Fuzzy Logical Syllogisms
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F23%3AA2402KJ6" target="_blank" >RIV/61988987:17610/23:A2402KJ6 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-031-39774-5_13" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-39774-5_13</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-39774-5_13" target="_blank" >10.1007/978-3-031-39774-5_13</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Peterson's Rules based on Grades for Fuzzy Logical Syllogisms
Popis výsledku v původním jazyce
In this publication, we continue the study of fuzzy Peterson's syllogisms. While in the previous publication, we focused on verifying the validity of these syllogisms using the construction of formal proofs and semantic verification, in this publication we focus on verifying the validity of syllogisms using Peterson's rules based on grades. The main goal will be to mathematically formulate Peterson's rules for verifying the validity and invalidity of logical syllogisms with intermediate quantifiers.
Název v anglickém jazyce
Peterson's Rules based on Grades for Fuzzy Logical Syllogisms
Popis výsledku anglicky
In this publication, we continue the study of fuzzy Peterson's syllogisms. While in the previous publication, we focused on verifying the validity of these syllogisms using the construction of formal proofs and semantic verification, in this publication we focus on verifying the validity of syllogisms using Peterson's rules based on grades. The main goal will be to mathematically formulate Peterson's rules for verifying the validity and invalidity of logical syllogisms with intermediate quantifiers.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/EG17_147%2F0020575" target="_blank" >EG17_147/0020575: Konsorcium pro průmyslový výzkum a vývoj nových aplikací laserových technologií s využitím metod umělé inteligence</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2023
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
Lecture Notes in Networks and Systems
ISBN
978-3-031-39773-8
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
102-109
Název nakladatele
Springer
Místo vydání
Nizozemí
Místo konání akce
Istanbul
Datum konání akce
22. 8. 2023
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—