A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Towards a formal theory of fuzzy Dedekind reals
2005
European Society for Fuzzy Logic and Technology
Preserved Fulltext
In the framework of Henkin style higher-order fuzzy logic LΠ ω we construct fuzzy real numbers as fuzzy Dedekind cuts over crisp rationals, and show some of their properties provable in LΠ ω . The definitions of algebraic operations and a theory of fuzzy intervals are sketched.
dblp:conf/eusflat/Behounek05
fatcat:xtggzssi7bdxrmisxgynjibtee