let $r$ be a commutative ring. we write $mbox{hom}(mu_a, nu_b)$ for the set of all fuzzy $r$-morphisms from $mu_a$ to $nu_b$, where $mu_a$ and $nu_b$ are two fuzzy $r$-modules. we make$mbox{hom}(mu_a, nu_b)$ into fuzzy $r$-module by redefining a function $alpha:mbox{hom}(mu_a, nu_b)longrightarrow [0,1]$. we study the properties of the functor $mbox{hom}(mu_a,-):frmbox{-mod}rightarrow frmbox{-mo...

Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based models are ill-suited for these applications, because they assume that each player has complete information about the state of the system (they are “perfect-information” games). This is because in many situations, a controll...

Let $R$ be a commutative ring. We write $mbox{Hom}(mu_A, nu_B)$ for the set of all fuzzy $R$-morphisms from $mu_A$ to $nu_B$, where $mu_A$ and $nu_B$ are two fuzzy $R$-modules. We make$mbox{Hom}(mu_A, nu_B)$ into fuzzy $R$-module by redefining a function $alpha:mbox{Hom}(mu_A, nu_B)longrightarrow [0,1]$. We study the properties of the functor $mbox{Hom}(mu_A,-):FRmbox{-Mod}rightarrow FRmbox{-Mo...