Analysis of Peterson's Rules for Syllogisms with Intermediate quantifiers

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F22%3AA2302EZC" target="_blank" >RIV/61988987:17610/22:A2302EZC - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-031-08971-8_52" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-08971-8_52</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-08971-8_52" target="_blank" >10.1007/978-3-031-08971-8_52</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Analysis of Peterson's Rules for Syllogisms with Intermediate quantifiers
Popis výsledku v původním jazyce
In our previous papers, we syntactically proved validity of 105 logical syllogisms with intermediate quantifiers. Peterson in his book suggested 6 rules using which it is possible to verify validity of such syllogisms in a simple way. The rules, however, are formulated in free language and so, it is not possible to check whether they are correct. In this paper, we focus on formalization of Peterson's rules. The main idea is based on the graded Peterson square of opposition, which has been formally analyzed in our previous publications.
Název v anglickém jazyce
Analysis of Peterson's Rules for Syllogisms with Intermediate quantifiers
Popis výsledku anglicky
In our previous papers, we syntactically proved validity of 105 logical syllogisms with intermediate quantifiers. Peterson in his book suggested 6 rules using which it is possible to verify validity of such syllogisms in a simple way. The rules, however, are formulated in free language and so, it is not possible to check whether they are correct. In this paper, we focus on formalization of Peterson's rules. The main idea is based on the graded Peterson square of opposition, which has been formally analyzed in our previous publications.

Projekt
<a href="/cs/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centrum pro výzkum a vývoj metod umělé intelligence v automobilovém průmyslu regionu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2022
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ů

Název statě ve sborníku
Information Processing and Management of Uncertainty in Knowledge-Based Systems (Communications in Computer and Information Science series
ISBN
978-3-030-50152-5
ISSN
—
e-ISSN
—
Počet stran výsledku
13
Strana od-do
634-646
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Miláno, Italy
Datum konání akce
11. 7. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)