Fuzzy Type Theory, Descriptions, and Partial Functions
Available Online August 2011.
- https://doi.org/10.2991/eusflat.2011.59How to use a DOI?
- Fuzzy type theory, EQ-algebra, partial function, description operator.
- 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.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
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 PB - Atlantis Press SP - 189 EP - 195 SN - 1951-6851 UR - https://doi.org/10.2991/eusflat.2011.59 DO - https://doi.org/10.2991/eusflat.2011.59 ID - Novák.2011/08 ER -