Publ3 search

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu * :	článek v odborném periodiku (J)
Domácí pracoviště * :	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název * :	Intermediate Syllogisms in Fuzzy Natural Logic
Citace :	Murinová, P. a Novák, V. Intermediate Syllogisms in Fuzzy Natural Logic. Journal of Fuzzy Set Valued Analysis. 2016, č. 2016, s. 99-111. ISSN 2193-4169.

Podnázev :
Rok * :	2016
Obor * :	Obecná matematika
Kód ISSN * :	2193-4169
Oficiální název periodika * :	Journal of Fuzzy Set Valued Analysis
Stát vydavatele periodika * :	Spolková republika Německo
Svazek periodika * :	2016
Číslo periodika v rámci svazku * :	2
Číslo článku :
Ročník :
Počet stran článku * :	13
Strana od * :	99
Strana do * :	111
Kód UT WoS :
EID :
Poddruh recenzovaného článku :	Článek v neimpaktovaném recenzovaném časopise(Jneimp/Jost)

Klíčová slova anglicky * :	Fuzzy type theory; Theory of intermediate quantifiers; Generalized syllogisms
Popis v původním jazyce * :	The goal of this paper is twofold: first, we give overview of the results of one part of the Fuzzy Natural Logic --- the formal theory of intermediate quantifiers and syllogisms based on them. We present 105 valid basic syllogisms and show that for the proof of validity of all of them, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the second part of the paper, we focused on conditions under which non-trivial intermediate syllogisms are valid. The latter are syllogisms which contain two or even three general intermediate quantifiers.
Popis v anglickém jazyce * :	The goal of this paper is twofold: first, we give overview of the results of one part of the Fuzzy Natural Logic --- the formal theory of intermediate quantifiers and syllogisms based on them. We present 105 valid basic syllogisms and show that for the proof of validity of all of them, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the second part of the paper, we focused on conditions under which non-trivial intermediate syllogisms are valid. The latter are syllogisms which contain two or even three general intermediate quantifiers.

Typ zdroje financování výsledku * :

Specifický výzkum

Seznam projektů :

ID Projektu	Název projektu

Seznam ohlasů :

Ohlas

R01:	RIV/61988987:17610/16:A1701EHW

Complementary Content

${loading}