In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the “Three-valued BCK-logic”. As a consequence we find an axiomatic definition of the above system. Mathematics Subject Classification: 03B50, 03G25, 06F35.

This paper initiates the study of the algebra of quotients associated with a given BCK-algebra, analogous to the classical rings of quotients and their subsequent generalizations. MIRAMAKE TRIESTE August 198B * To appear in "Hath. Japonlca" (1988). ** Permanent address: Department of Mathematics, Quaid-i-Azam University, Islamabad, Pakistan.

A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35

In this note, by using the concept of Bipolar-valued fuzzy set, the notion of bipolar-valued fuzzy BCK/BCI-algebra is introduced. Moreover, the notions of (strong) negative s-cut (strong) positive t-cut are introduced and the relationship between these notions and crisp subalgebras are studied.

In this paper, by using the concept of belongingness (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, we introduce (α, β)-fuzzy positive implicative ideals in BCK-algebras where α, β are any of {∈, q, ∈ ˅ q, ∈ ˄ q} with α ≠ ∈ ˄ q.

In this paper, the concepts of intuitionistic fuzzy translation to intuitionistic fuzzy Hideals in BCK/BCI-algebras are introduced. The notion of intuitionistic fuzzy extensions and intuitionistic fuzzy multiplications of intuitionistic fuzzy H-ideals with several related properties are investigated. Also the relationships between intuitionistic fuzzy translations, intuitionistic fuzzy extensio...