Formální teorie intermediálních kvantifikátorů
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F08%3AA0800KLP" target="_blank" >RIV/61988987:17610/08:A0800KLP - 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
A Formal Theory of Intermediate Quantifiers
Popis výsledku v původním jazyce
The paper provides a logical theory of a specific class of natural language expressions called intermediate quantifiers (e.g. most, a lot of, many, a few, a great deal of, a large part of, a small part of), which can be ranked among generalized quantifiers. The formal frame is the fuzzy type theory (FTT) and the formal theory of trichotomous evaluative linguistic expressions. Intermediate quantifier is obtained as a classical quantifier ``for all'' or ``exists'' but taken over a class of elements that is determined using an appropriate evaluative expression. Behavior of intermediate quantifiers and many valid syllogisms that generalize classical Aristotle's ones are studied and proved.
Název v anglickém jazyce
A Formal Theory of Intermediate Quantifiers
Popis výsledku anglicky
The paper provides a logical theory of a specific class of natural language expressions called intermediate quantifiers (e.g. most, a lot of, many, a few, a great deal of, a large part of, a small part of), which can be ranked among generalized quantifiers. The formal frame is the fuzzy type theory (FTT) and the formal theory of trichotomous evaluative linguistic expressions. Intermediate quantifier is obtained as a classical quantifier ``for all'' or ``exists'' but taken over a class of elements that is determined using an appropriate evaluative expression. Behavior of intermediate quantifiers and many valid syllogisms that generalize classical Aristotle's ones are studied and proved.
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
<a href="/cs/project/GA201%2F04%2F1033" target="_blank" >GA201/04/1033: Přibližná dedukce a zobecněné 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)
Ostatní
Rok uplatnění
2008
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 Sets and Systems
ISSN
0165-0114
e-ISSN
—
Svazek periodika
159
Číslo periodika v rámci svazku
10
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
18
Strana od-do
1229-1246
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—