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...

Characteristic, normal and completely normal intuitionistic fuzzy left h-ideals of hemirings are described. Key–Words: Hemiring, intuitionistic fuzzy left h-ideal, normal fuzzy set, fuzzy characteristic.

In this paper, we define the concept of an intuitionistic Q-fuzzy normal HX group and some related properties are investigated. We also define the level subsets of an intuitionistic Q-fuzzy normal HX group and discussed some of its properties. A few equivalent propositions of fuzzy HX group constituting an intuitionistic Q-fuzzy normal HX group are given.

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...

The notions of intuitionistic fuzzy h-ideal and normal intuitionistic fuzzy h-ideal in Γ-hemiring are introduced and some of the basic properties of these ideals are investigated. Cartesian product of intuitionistic fuzzy h-ideals is also defined. Finally a characterization of intuitionistic fuzzy h-ideals in terms of fuzzy relations is obtained. Keywords—Γ-hemiring, fuzzy h-ideal, normal, cart...

in this note we consider the notion of intuitionistic fuzzy (weak) dual hyper k-ideals and obtain related results. then we classify this notion according to level sets. after that we determine the relationships between intuitionistic fuzzy (weak) dual hyper k-ideals and intuitionistic fuzzy (weak) hyper k-ideals. finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...

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 a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete wit...

Taking intuitionistic fuzzy sets as the structures of truth values, we propose the notions of intuitionistic fuzzy context-free grammars (IFCFGs, for short) and pushdown automata with final states (IFPDAs). Then we investigate algebraic characterization of intuitionistic fuzzy recognizable languages including decomposition form and representation theorem. By introducing the generalized subset c...

In [2] an alternative skolemization method called eskolemization was introduced that is sound and complete for existence logic with respect to existential quantifiers. Existence logic is a conservative extension of intuitionistic logic by an existence predicate. Therefore eskolemization provides a skolemization method for intuitionistic logic as well. All proofs in [2] were semantical. In this ...