title: |
Fuzzy Type Theory, Descriptions, and Partial Functions |
|
publication: |
||
part of series: |
Advances in Intelligent Systems Research | |
| pages: | 189 - 195 | |
DOI: |
To be assigned soon (how to use a DOI) | |
author(s): |
Vil¨¦m Nov¨¢k |
|
publication date: |
July 2011 |
|
keywords: |
Fuzzy type theory, EQ-algebra, partial
function, description operator. |
|
abstract: |
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. |
|
copyright: |
©
Atlantis Press. This article is distributed under the
terms of the Creative Commons Attribution License, which permits
non-commercial use, distribution and reproduction in any medium,
provided the original work is properly cited. |
|
full text: |