We introduce the notion of sensible fuzzy ideals of BCK-algebras with respect to a t-conorm and investigate some of their properties. We give the conditions for a sensible fuzzy subalgebra with respect to a t-conorm to be a sensible fuzzy ideal with respect to a t-conorm. Some properties of the direct product and S-product of fuzzy ideals of BCK-algebras with respect to a t-conorm are also disc...

In this paper, we introduce the concept of doubt intuitionistic fuzzy subalgebras and doubt intuitionistic fuzzy ideals in BCK/BCI-algebras. We show that an intuitionistic fuzzy subset of BCK/BCI-algebras is an intuitionistic fuzzy subalgebra and an intuitionistic fuzzy ideal if and only if the complement of this intuitionistic fuzzy subset is a doubt intuitionistic fuzzy subalgebra and a doubt...

Neutrosophic N -structures with applications in BCK/BCI-algebras is discussed. The notions of a neutrosophic N -subalgebra and a (closed) neutrosophic N -ideal in a BCK/BCI-algebra are introduced, and several related properties are investigated. Characterizations of a neutrosophic N -subalgebra and a neutrosophic N -ideal are considered, and relations between a neutrosophic N -subalgebra and a ...

In order to lay a foundation for providing a soft algebraic tool in considering many problems that contain uncertainties, the notion of double-framed soft sets is introduced, and applications in BCK/BCI-algebras are discussed. The notions of double-framed soft algebras in BCK/BCIalgebras are introduced, and related properties are investigated. Characterizations of doubleframed soft algebras are...

The notion of (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras is introduced. Some characterization theorems in (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras are derived. Also we study relation between (∈,∈ ∨q)-interval-valued fuzzy prime ideal and (∈ ∨q)-interval-valued fuzzy level prime ideals. Characterization of interval-valued fuzzy set to b...

We explore properties of the set of d-units of a d-algebra. A property of interest in the study of d-units in d-algebras is the weak associative property. It is noted that many other d-algebras, especially BCK-algebras, are in fact weakly associative. The existence of d/BCK-algebras which are not weakly associative is demonstrated. Moreover, the notions of a d-integral domain and a left-injecti...

It is well-known that the representation of several classes of residuated lattices involves lattice-ordered groups. An often applicable method to determine the representing group (or groups) from a residuated lattice is based on partial algebras: the monoidal operation is restricted to those pairs which fulfil a certain extremality condition, and else left undefined. The subsequent construction...

Starting from quasi-Wajsberg algebras (which are generalizations of Wajsberg algebras), whose regular sets are Wajsberg algebras, we introduce a theory of quasi-algebras versus, in parallel, a theory of regular algebras. We introduce the quasi-RM, quasi-RML, quasi-BCI, (commutative, positive implicative, quasi-implicative, with product) quasi-BCK, quasi-Hilbert and quasi-Boolean algebras as gen...

For any σ-complete Boolean algebras A and B, if A is isomorphic to [0, b] ⊆ B and B is isomorphic to [0, a] ⊆ A, then A B. Recently, several generalizations of this known CantorBernstein type theorem for MV-algebras, (pseudo) effect algebras and `-groups have appeared in [1], [2], [4] and [5]. We prove an analogous result for certain pseudo BCK-algebras—a noncommutative extension of BCK-algebra...