Semantic interpretation of intermediate quantifiers and their syllogisms
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F13%3AA14017EN" target="_blank" >RIV/61988987:17610/13:A14017EN - 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
Semantic interpretation of intermediate quantifiers and their syllogisms
Popis výsledku v původním jazyce
In this paper, we continue development of the formal theory of emph{intermediate quantifiers} (expressions such as emph{most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of}). The theory is a fuzzy-logic formalization of the concept introduced by P. L. Peterson in his book. The main goal of this paper is to demonstrate how our theory works in a reasonable model. We will also show, how can we semantically verify validity of several examples of generalized intermediate syllogisms.
Název v anglickém jazyce
Semantic interpretation of intermediate quantifiers and their syllogisms
Popis výsledku anglicky
In this paper, we continue development of the formal theory of emph{intermediate quantifiers} (expressions such as emph{most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of}). The theory is a fuzzy-logic formalization of the concept introduced by P. L. Peterson in his book. The main goal of this paper is to demonstrate how our theory works in a reasonable model. We will also show, how can we semantically verify validity of several examples of generalized intermediate syllogisms.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2013
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 statě ve sborníku
10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings
ISBN
978-3-642-40768-0
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
11
Strana od-do
186-197
Název nakladatele
Springer Berlin Heidelberg
Místo vydání
—
Místo konání akce
Granada, Spain
Datum konání akce
18. 9. 2013
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—