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

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.

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

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.