Fuzzy Type Theory, Descriptions, and Partial Functions
Authors
Vilém Novák.
Corresponding Author
Vilém Novák.
Available Online August 2011.
- DOI
- 10.2991/eusflat.2011.59How to use a DOI?
- 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
- © 2011, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Vilém Novák. PY - 2011/08 DA - 2011/08 TI - Fuzzy Type Theory, Descriptions, and Partial Functions BT - Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11) PB - Atlantis Press SP - 189 EP - 195 SN - 1951-6851 UR - https://doi.org/10.2991/eusflat.2011.59 DO - 10.2991/eusflat.2011.59 ID - Novák.2011/08 ER -