There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as automata, labeled transition systems, Kripke models interpretations in description logics. Fuzzy bisimulations automata over a complete residuated lattice have been introduced by ?iri? et al. 2012. Logical characterizations (respectively, logics) the [0,1] with Gödel t-norm provided Fan 2015 Nguyen 202...

In this paper we define intuitionistic fuzzy metric and normedspaces. We first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. In section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. Finally,we consider some properties of...

In this paper the concepts of sectional intuitionistic fuzzy continuous mapping, l -intuitionistic fuzzy compact sets and asymptotic intuitionistic fuzzy normal structure are introduced. Schauder type and Baillon and Schoneberg type fixed point theorems are also established in an intuitionistic fuzzy n -normed linear space.

In this paper intuitionistic fuzzy pushdown automata, acceptance by empty stack and acceptance by final states and their equivalence is proved. It follows that intuitionistic fuzzy pushdown automata with empty stack and IFPDAs are equivalent. We propose the notions of intuitionistic fuzzy context-free grammars (IFCFGs), intuitionistic fuzzy languages generated by IFCFGs. Additionally, we introd...

in this note first by considering the notion of general fuzzy automata (for simplicity gfa), we define the notions of direct product, restricted direct product and join of two gfa. also, we introduce some operations on (fuzzy) sets and then prove some related theorems. finally we construct the general fuzzy recognizers and recognizable sets and give the notion of (trim) reversal of a given gfa....

In this paper we introduce the notion of weak and strong intuitionistic fuzzy (Schauder) basis on an intuitionistic fuzzy n-normed linear space [5] and prove that an intuitionistic fuzzy n-normed linear space having a weak intuitionistic fuzzy basis is separable. Also we discuss approximation property on the same space. Mathematics Subject Classification: 03B20, 03B52, 46A99, 46H25