The aim of this paper is to study the properties of dual BCK-algebra and to prove that the MV -algebra is equvalent to the bounded commutative dual BCK-algebra.

In this paper, we extend the notions of states and measures presented in [12] to the case of pseudo-BCK algebras and study similar properties. We prove that, under some conditions, the notion of a state in the sense of [12] coincides with the Bosbach state, and we extend to the case of pseudo-BCK algebras some results proved by J. Kühr only for pseudo-BCK semilattices. We characterize extremal ...

We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...

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

if we formulate our logics in a Gentzen-type formal system. Some syntactical properties of these logics have been studied firstly by the second author in [I I], in connection with the study of BCK-algebras (for information on BCK-algebras, see [9]). There, it turned out that such a syntactical method is a powerful and promising tool in studying BCK-algebras. Using this method, considerable prog...

Mitochondrial protein kinases (mPKs) are molecular switches that down-regulate the oxidation of branched-chain alpha-ketoacids and pyruvate. Elevated levels of these metabolites are implicated in disease states such as insulin-resistant Type II diabetes, branched-chain ketoaciduria, and primary lactic acidosis. We report a three-dimensional structure of a member of the mPK family, rat branched-...

We consider the intuitionistic fuzzification of the concept of prime ideals in commutative BCK-algebras, and investigate some of their properties. We show that if P is a prime ideal of commutative BCK-algebra X iff ∼ P = 〈XP , − XP 〉 is an intuitionistic fuzzy prime ideal of X. We also prove that An IFS A = 〈μA, λA〉 of commutative BCK-algebra X is an intuitionistic fuzzy prime ideal of X if and...

Based on the theory of a falling shadow which was first formulated by Wang [15], a theoretical approach of the pseudo ideal structure in pseudo d-algebras is established. Several properties are investigated, and relations among a falling pseudo d-subalgebra, a falling pseudo BCK-ideal and a falling pseudo d-ideal are discussed. A characterization of a falling pseudo d-ideal is provided. Conditi...

In this paper, we have enhanced the notion of the direct product of two intuitionistic fuzzy sets to the notion of the generalised direct product oftwo doubt intuitionistic fuzzy subalgebras and two doubt intuitionistic fuzzy H-ideals of two BCK/BCI-algebras using max-min operations. Andwe study some interesting properties of such direct product of doubt intuitionistic fuzzy H-ideal...