Relational demonic fuzzy refinement (Q2336161)

Summary: We use relational algebra to define a refinement fuzzy order called \textit{demonic fuzzy refinement} and also the associated fuzzy operators which are fuzzy demonic join \((\sqcup_{\text{fuz}})\), fuzzy demonic meet \((\sqcap_{\text{fuz}})\), and fuzzy demonic composition \((\square_{\text{fuz}})\). Our definitions and properties are illustrated by some examples using mathematica software (fuzzy logic).