On general properties of 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%3AA1501BYE" target="_blank" >RIV/61988987:17610/14:A1501BYE - 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
On general properties of intermediate quantifiers
Popis výsledku v původním jazyce
In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.
Název v anglickém jazyce
On general properties of intermediate quantifiers
Popis výsledku anglicky
In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.
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í
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 statě ve sborníku
IPMU 2014, Part II, Communications in Computer and Information Science 443
ISBN
978-3-319-08854-9
ISSN
1865-0929
e-ISSN
—
Počet stran výsledku
9
Strana od-do
355-364
Název nakladatele
Springer
Místo vydání
—
Místo konání akce
Francie
Datum konání akce
15. 7. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—