A Formal Theory of Generalized Intermediate Syllogisms

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F12%3AA1300ZT4" target="_blank" >RIV/61988987:17610/12:A1300ZT4 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Formal Theory of Generalized Intermediate Syllogisms

Popis výsledku v původním jazyce

This paper is a continuation of the formal theory of intermediate quantifiers (expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of ) introduced by Novák. The theory is a fuzzy-logic formalization of the concept introduced by Peterson in his book. In this paper, we syntactically prove that 105 generalized Aristotle's syllogism introduced in Peterson's book are in our theory valid. At the same time, we also proved that various syllogisms listed there as invalid are invalid also in our the- ory. Therefore, we believe that our theory provides a reasonable mathematical model of the generalized syllogistics.

Název v anglickém jazyce

A Formal Theory of Generalized Intermediate Syllogisms

Popis výsledku anglicky

This paper is a continuation of the formal theory of intermediate quantifiers (expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of ) introduced by Novák. The theory is a fuzzy-logic formalization of the concept introduced by Peterson in his book. In this paper, we syntactically prove that 105 generalized Aristotle's syllogism introduced in Peterson's book are in our theory valid. At the same time, we also proved that various syllogisms listed there as invalid are invalid also in our the- ory. Therefore, we believe that our theory provides a reasonable mathematical model of the generalized syllogistics.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA108270901" target="_blank" >IAA108270901: Kardinalita fuzzy množin a fuzzy kvantifikátory</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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

FUZZY SET SYST

ISSN

0165-0114

e-ISSN

—

Svazek periodika

186

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

44

Strana od-do

47-80

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—