Quantification over Undefined Truth Values
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F18%3AA1901SUF" target="_blank" >RIV/61988987:17610/18:A1901SUF - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-91479-4_17" target="_blank" >http://dx.doi.org/10.1007/978-3-319-91479-4_17</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-91479-4_17" target="_blank" >10.1007/978-3-319-91479-4_17</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Quantification over Undefined Truth Values
Popis výsledku v původním jazyce
We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we will overview the semantics of partial fuzzy propositional logic, recall the basic notions, comment on axiomatization and present its first-order variant. Then we will present results on the properties of quantifiers from different families.
Název v anglickém jazyce
Quantification over Undefined Truth Values
Popis výsledku anglicky
We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we will overview the semantics of partial fuzzy propositional logic, recall the basic notions, comment on axiomatization and present its first-order variant. Then we will present results on the properties of quantifiers from different families.
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í
2018
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. Applications, volume 855
ISBN
978-331991478-7
ISSN
1865-0929
e-ISSN
—
Počet stran výsledku
10
Strana od-do
199-208
Název nakladatele
Springer International Publishing
Místo vydání
Cham
Místo konání akce
Cadiz
Datum konání akce
10. 6. 2018
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—