On the properties of intermediate quantifiers and the quantifier ``MORE-THAN''
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F20%3AA21024JD" target="_blank" >RIV/61988987:17610/20:A21024JD - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-030-50153-2_12" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-030-50153-2_12</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-50153-2_12" target="_blank" >10.1007/978-3-030-50153-2_12</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On the properties of intermediate quantifiers and the quantifier ``MORE-THAN''
Popis výsledku v původním jazyce
This paper continues the research in formal theory of intermediate quantifiers. We introduce the intermediate quantifiers of type <1>, that are special case of those of type <1, 1> studied so far, and also a new quantifier MORE-THAN.
Název v anglickém jazyce
On the properties of intermediate quantifiers and the quantifier ``MORE-THAN''
Popis výsledku anglicky
This paper continues the research in formal theory of intermediate quantifiers. We introduce the intermediate quantifiers of type <1>, that are special case of those of type <1, 1> studied so far, and also a new quantifier MORE-THAN.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
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)
Ostatní
Rok uplatnění
2020
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
Information Processing and Management of Uncertainty in Knowledge-Based Systems (Communications in Computer and Information Science series, vol. 1239)
ISBN
978-3-030-50152-5
ISSN
1865-0929
e-ISSN
—
Počet stran výsledku
14
Strana od-do
159-172
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Lisbon, Portugal
Datum konání akce
15. 6. 2020
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—