The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...

Georgescu and Iorgulescu [3] introduced pseudo-BCK-algebras (in a slightly different way) as a non-commutative generalization of BCK-algebras, in the sense that if →= , then the algebra (A,→, 1) is a BCK-algebra. Pseudo-BCK-algebras relate to (non-commutative) residuated lattices as BCK-algebras do to commutative residuated lattices; specifically, by [6], pseudoBCK-algebras are just the 〈→, , 1...

The aim of this paper is to introduce the notion of (∈,∈∨ q)-fuzzy (implicative, MV and G-) filters of pseudo-BL algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) filters are derived. The relationship among these generalized fuzzy filters of pseudo-BL algebras is considered. It is proved that an (∈,∈∨ q)fuzzy fi...

The aim of this paper is to introduce the notion of (∈,∈∨ q)-fuzzy (implicative, MV and G-) filters of pseudo-BL algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) filters are derived. The relationship among these generalized fuzzy filters of pseudo-BL algebras is considered. It is proved that an (∈,∈ ∨q)-fuzzy f...

Pseudo-BL algebras are noncommutative generalizations of BL-algebras and they include pseudo-MV algebras, a class of structures that are categorically equivalent to l-groups with strong unit. In this paper we characterize directly indecomposable pseudo-BL algebras and we define and study different classes of these structures: local, good, perfect, peculiar, and (strongly) bipartite pseudo-BL al...

In this paper, we first introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we consider the interval valued ( , fuzzy (implicative) ideals of pseudo-MV algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) ideals are derived. ) q ∈∈∨ −

A pseudo-addition in BL-algebras is a binary operation that is associative and non commutative. The aim of this paper is to use the notion of pseudo-addition to study the notion of ideal and fuzzy ideal as a natural generalization of that of ideal and fuzzy ideal in MV-algebras. Using a pseudo-addition, we characterize fuzzy ideals and also obtain a concrete description of the fuzzy ideals gene...

We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are the wound-rounds of lattice-ordered groups. It follows some results about can be stated in terms MV-algebras. For example, study together with cyclic order allows to get first-order characterization unimodular complex numbers finite deduce pseudofinite MV-chains pseudo-si...

in this paper rst we dene the notions of positive implicativehyper mv -ideals of types 1,2,3 and 4 in hyper mv -algebras and we investigatethe relationship between of them . then by some examples we show that thesenotions are not equivalent. finally we give some relations between these notionsand the notions of (weak) hyper mv -ideals and (weak) hyper mv -deductivesystems of hyper mv -algebras.

Multiple-valued logics are non-classical logics. They are similar to classical logic because they accept the principle of truth-functionality, namely, the truth of a compound sentence is determined by the truth values of its component sentences (and so remains unaffected when one of its component sentences is replaced by another sentence with the same truth value). But they differ from classica...