Analysis of generalized square of opposition with intermediate quantifiers
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F14%3AA140133H" target="_blank" >RIV/61988987:17610/14:A140133H - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Analysis of generalized square of opposition with intermediate quantifiers
Popis výsledku v původním jazyce
In this paper, we continue development of the formal theory of intermediate quantifiers (linguistic expressions such as ``most, many, few, almost all'', etc.). In the previous work, we demonstrated that 105 generalized syllogisms are valid in our theory.We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show again that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- Lukasiewicz fuzzy type theory.
Název v anglickém jazyce
Analysis of generalized square of opposition with intermediate quantifiers
Popis výsledku anglicky
In this paper, we continue development of the formal theory of intermediate quantifiers (linguistic expressions such as ``most, many, few, almost all'', etc.). In the previous work, we demonstrated that 105 generalized syllogisms are valid in our theory.We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show again that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- Lukasiewicz fuzzy type theory.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2014
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 periodika
FUZZY SET SYST
ISSN
0165-0114
e-ISSN
—
Svazek periodika
—
Číslo periodika v rámci svazku
242
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
25
Strana od-do
89-113
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—