Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)

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/).

Download article (PDF)

Volume Title
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)
Series
Advances in Intelligent Systems Research
Publication Date
August 2011
ISBN
978-90-78677-00-0
ISSN
1951-6851
DOI
10.2991/eusflat.2011.59How to use a DOI?
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  -