Fuzzy Type Theory, Descriptions, and Partial Functions

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F11%3AA120120J" target="_blank" >RIV/61988987:17610/11:A120120J - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Fuzzy Type Theory, Descriptions, and Partial Functions
Popis výsledku v původním jazyce
This paper studies the possibility to deal with partial functions in fuzzy type theory. Among various ways how to represent them we chose introduction of a special value ``undefined'' laying outside the corresponding domain. In FTT, we can quite naturally utilize the description operator by extending its action also to subnormal fuzzy sets.
Název v anglickém jazyce
Fuzzy Type Theory, Descriptions, and Partial Functions
Popis výsledku anglicky
This paper studies the possibility to deal with partial functions in fuzzy type theory. Among various ways how to represent them we chose introduction of a special value ``undefined'' laying outside the corresponding domain. In FTT, we can quite naturally utilize the description operator by extending its action also to subnormal fuzzy sets.

Projekt
<a href="/cs/project/IAA108270901" target="_blank" >IAA108270901: Kardinalita fuzzy množin a fuzzy 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)

Rok uplatnění
2011
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ů

Název statě ve sborníku
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and LFA-2011
ISBN
978-90-78677-00-0
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
189-195
Název nakladatele
Atlantis Press
Místo vydání
Amsterdam
Místo konání akce
Aix-Les-Bains
Datum konání akce
18. 7. 2011
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)