Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F23%3AA2402I3M" target="_blank" >RIV/61988987:17610/23:A2402I3M - isvavai.cz</a>

Výsledek na webu

<a href="https://www.sciencedirect.com/science/article/pii/S0888613X23001251?via%3Dihub" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0888613X23001251?via%3Dihub</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ijar.2023.108994" target="_blank" >10.1016/j.ijar.2023.108994</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules

Popis výsledku v původním jazyce

This paper is a continuation of the previous paper in which we analyzed six Peterson's rules for checking validity of Aristotle classical syllogisms and also their extension for syllogisms with intermediate quantifiers. We formalized the rules and proved that only four rules are sufficient. In this paper we return to this topic and prove that a syllogism with intermediate quantifiers is valid iff it satisfies four (and consequently all six) Peterson's rules.

Název v anglickém jazyce

Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules

Popis výsledku anglicky

This paper is a continuation of the previous paper in which we analyzed six Peterson's rules for checking validity of Aristotle classical syllogisms and also their extension for syllogisms with intermediate quantifiers. We formalized the rules and proved that only four rules are sufficient. In this paper we return to this topic and prove that a syllogism with intermediate quantifiers is valid iff it satisfies four (and consequently all six) Peterson's rules.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

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í

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ů

Název periodika

International Journal of Aproximate Reasoning

ISSN

0888-613X

e-ISSN

—

Svazek periodika

—

Číslo periodika v rámci svazku

161

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

18

Strana od-do

—

Kód UT WoS článku

001059370300001

EID výsledku v databázi Scopus

2-s2.0-85167603682