A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...

This paper deals with the study of generalizations fuzzy subalgebras and ideals in BCK/BCI-algebras. In fact, notions ∈ , ∨ κ ~ ∗ q -fuz...

We consider the intuitionistic fuzzification of the concept of subalgebras and ideals in BCK-algebras, and investigate some of their properties. We introduce the notion of equivalence relations on the family of all intuitionistic fuzzy ideals of a BCK-algebra and investigate some related properties.

The concept of soft translations of soft subalgebras and soft ideals over BCI/BCK-algebras is introduced and some related properties are studied. Notions of Soft extensions of soft subalgebras and soft ideals over BCI/BCK-algebras are also initiated. Relationships between soft translations and soft extensions are explored.

In this paper by considering the notion of BCK-module X, we introduce new concept which is named extended BCK-module or briefly X-module and we obtain some interesting results by it. Furthermore, we define the notion of multiplication X-module. 2000 Mathematics subject classification: 06D99 • 08A30

first we show that the cosets of a fuzzy ideal μ in a bck-algebrax form another bck-algebra  x/μ (called the fuzzy quotient bck-algebra of x by μ). also we show thatx/μ is a fuzzy partition of x and we prove several some isomorphism theorems. moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition p of a commutative bck-algebra iscompatible, then p is a fuzzy quo...

The purpose of this document is to develop some the basic theory multipliers algebra dual BCK-algebras. In study we demonstrate concept left bi-multiplier and right BCK (DBCK-algebra) algebras. Several examples results pertaining these on DBCK-algebras are developed based definitions. Then characteristics bi-multipliers obtained properties DBCK-algebras. We focused behavior elements under also ...

In this paper, a new notion, called TM-algebra, which is a generalization of the idea of Q/BCH/BCI/BCK/BCC-algebra, is introduced. Some theorems discussed in Q-and BCK algebras are generalized. Definition of TM-algebra along with various propositions are stipulated and presented with their respective proofs. The relation between TM-algebra and other algebra has been investigated and detailed in...

Molodtsov [8] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of BCK-algebras. The notions of positive implicative soft ideals and positive implicative idealistic soft BCK-algebras are intro...