Abstract
We use relational algebra to define a refinement fuzzy order called
demonic fuzzy refinement
and also the associated fuzzy operators which are fuzzy demonic join
(
⊔
f
u
z
)
, fuzzy demonic meet
(
⊓
f
u
z
)
, and fuzzy demonic composition
(
□
f
u
z
)
. Our definitions and properties are illustrated by some examples using mathematica software (fuzzy logic).