Recently, two types of simulations (forward and backward simulations) and four types of bisimulations (forward, backward, forward-backward, andbackward-forwardbisimulations) between fuzzyautomatahavebeen introduced. If there is at least one simulation/bisimulation of some of these types between the given fuzzy automata, it has been proved that there is the greatest simulation/bisimulation of th...

In this paper we study the concept of Fuzzy-anti-n-normed linear operator as a generalization of Fuzzy-anti-2normed linear operator. Fuzzy-anti-n-continuous linear operator and three types (strongly, weakly, and sequentially) of Fuzzy-anti-n-continuous linear operators are defined and relation between strongly, weakly and sequentially Fuzzy-anti-n-continuous linear operator is developed. Also s...

In this paper, we investigate the general solution and the generalized Hyers-Ulam stability of a new functional equation satisfied by $f(x) = x^{24}$, which is called quattuorvigintic functional equation in intuitionistic fuzzy normed spaces by using the fixed point method.These results can be regarded as an important extension of stability results corresponding to functional equations on norme...

We show that logical paradoxes based on self-reference (of which the Liar is the best known example) are equivalent to the non-existence of solutions to a numerical system of equations, the so-called truth-value equations. Furthermore, we show that in many cases a self-referential system which does not posses a crisp (Boolean) solution can be solved by expanding the solution set to include fuzz...

In the present paper, we prove that the classical sets ∞(F ), c(F ), c0(F ) and p(F ) of sequences of fuzzy numbers are normed quasilinear spaces and the β−, α−duals of the set 1(F ) is the set ∞(F ). Besides this, we show that ∞(F ) and c(F ) are normed quasialgebras and an operator defined by an infinite matrix belonging to the class ( ∞(F ) : ∞(F )) is bounded and quasilinear. Finally, as an...

Berstel and Pin have characterized local languages by introducing local automaton. In this paper fuzzy local language is introduced and the fuzzy local languages recognized by partial fuzzy local automata in max-min and min-max compositions are studied. Some closure properties of fuzzy local languages are provided. Mathematics Subject Classification: 68Q45

the aim of this paper is to introduce $(l,m)$-fuzzy closurestructure where $l$ and $m$ are strictly two-sided, commutativequantales. firstly, we define $(l,m)$-fuzzy closure spaces and getsome relations between $(l,m)$-double fuzzy topological spaces and$(l,m)$-fuzzy closure spaces. then, we introduce initial$(l,m)$-fuzzy closure structures and we prove that the category$(l,m)$-{bf fc} of $(l,m...

We approximate a fuzzy almost quadratic function by a quadratic function in a fuzzy sense. More precisely, we establish a fuzzy Hyers–Ulam–Rassias stability of the quadratic functional equation f(x + y) + f(x − y) = 2f(x) + 2f(y). Our result can be regarded as a generalization of the stability phenomenon in the framework of normed spaces. We also prove a generalized version of fuzzy stability o...

Model checking of linear-time properties based on possibility measures was studied in previous work (Y. Li and L. Li, Model checking of linear-time properties based on possibility measure, IEEE Transactions on Fuzzy Systems, 21(5)(2013), 842-854). However, the linear-time properties considered in the previous work was classical and qualitative, possibility information of the systems was not con...

A model for finite automaton with an open quantum evolution is introduced, and its basic properties are studied. It is shown that the (fuzzy) languages accepted by open evolution quantum automata obey various closure properties. More importantly, it is shown that major other models of finite automata, including probabilistic, measure once quantum, measure many quantum, and Latvian quantum autom...