Early diagnosis of cognitive disorder based on ground categories for decision support structures
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Adding fuzziness to terms and powerobjects using a monadic approach
Fuzzy Sets and Systems
| Hi-index | 0.00 |
We will present three paradigms for non-classical substitution. Firstly, we have the classical substitution of variables with terms. This is written in a strict categorical form supporting presentation of the other two paradigms. The second paradigm is substitutions of variables with many-valued sets of terms. These two paradigms are based on functors and monads over the category of sets. The third paradigm is the substitution of many-valued sets of variables with terms over many-valued sets of variables. The latter is based on functors and monads over the category of many-valued sets. This provides a transparency of the underlying categories and also makes a clear distinction between set-theoretic operation in the meta language and operations on sets and many-valued sets as found within respective underlying categories.