Based on the falling shadow theory, the concept of falling fuzzy (implicative) ideals as a generalization of that of a T ∧-fuzzy (implicative) ideal is proposed in MV-algebras. The relationships between falling fuzzy (implicative) ideals and T-fuzzy (implicative) ideals are discussed, and conditions for a falling fuzzy (implicative) ideal to be a T ∧-fuzzy (implicative) ideal are provided. Some...

The notion of n-fold positive implicative filter in a lattice implication algebra is introduced, and related properties are investigated. Relations among a filter, an n-fold implicative filter and an n-fold positive implicative filter are stated. Characterizations of n-fold positive implicative filter are given, and the extension property for n-fold positive implicative filter is established.

The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...

We discuss the n-fold implicative/fantastic filters in lattice implication algebras, which are extended notions of implicative/fantastic filters. Characterizations of n-fold implicative/fantastic filters are given. Conditions for a filter to be n-fold implicative are provided. Extension property for an n-fold fantastic filter is established.

In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...

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

We consider the fuzzification of the notion of an n-fold positive implicative ideal. We give characterizations of an n-fold fuzzy positive implicative ideal. We establish the extension property for n-fold fuzzy positive implicative ideals, and state a characterization of PIn-Noetherian BCK-algebras. Finally we study the normalization of n-fold fuzzy positive implicative ideals. 2000 Mathematics...

The notion of a positive implicative pseudo-valuation on a BCKalgebra is introduced, and its characterizations are investigated. The relationship between a pseudo-valuation and a positive implicative pseudovaluation is examined. Reduction property for a positive implicative pseudo-valuation is established. Mathematics Subject Classification: 06F35, 03G25

We consider the notion of intuitionistic fuzzy n-fold positive implicative ideals in BCI-algebras. We analyse many properties of intuitionistic fuzzy n-fold positive implicative ideals. We also establish extension properties for intuitionistic fuzzy n-fold positive implicative ideals in BCI-algebras. This work generalizes the corresponding results in the crisp case. 2000 Mathematics Subject cla...

The aim of this paper is to introduce the notions of interval valued (∈,∈ ∨q)-fuzzy Boolean (implicative, positive implicative and fantastic) filters in BL-algebras and to investigate some related properties. Some characterizations of these generalized fuzzy filters are derived. Finally, the relations among these generalized fuzzy filters are discussed. It is proved that an interval valued (∈,∈...