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

This paper is devoted to the foldness theory of implicative ideals in BCK-algebras. We use the fuzzy point concept to give some characterizations of fuzzy n-fold implicative ideals and establish some relationships with various n-fold ideals. We also construct some algorithms for studying the foldness of implicative ideals in BCK-algebras. AMS Mathematics Subject Classification: 06F35, 13A15, 8A...

In this paper, we present the notions of cubic (weak) implicative hyper BCK-ideals of hyper BCKalgebras and then we present some results which characterize the above notions according to the level subsets. In addition, we obtain the relationship among these notions, cubic positive implicative hyper BCK-ideals of types-1, 2...8 and obtain some related results.AMS (2010): 06F35.

In the present manuscript, we introduce concept of a discrete dynamical system (Ⱬ,Ψ) in BCK-algebra where Ⱬ is and Ψ homomorphism from to establish some their related properties. We prove that set all fixed points periodic are BCK-subalgebras. show when subset invariant concerning Ψ. commutative with relative cancellation property ideals Ⱬ. also an S-invariant

In this paper, we introduce the notions of Belluce lattice associated with a bounded $BCK$-algebra and reticulation $BCK$-algebra. To do this, first, define operations $curlywedge ,$ $curlyvee $ $sqcup on $BCK$-algebras study some algebraic properties them. Also, for $A$ Zariski topology Spec(A)$ induced $tau _{A,Max(A)}$ $Max(A)$. We prove $(Max(A),tau_{A,Max(A)})$ is compact topological space...

Cantor's naive set theory is characterized by the unrestricted comprehension principle, saying that for every formula A(x), there exists a set {x|A(x)} such that A(t) ↔ t ∈ {x|A(x)} for any term t. The theory is intuitive, elegant, powerful, but unfortunately inconsistent (as witnessed by Russell's paradox). While it is common to somehow restrict the comprehension scheme (as in ZFC), there is a...