Creatine kinases (CK) play crucial roles in intracellular energy transfer. We have isolated a cDNA from zebrafish embryos, which encodes a CK highly related to the mammalian brain subtype creatine kinase (BCK). The bck mRNA is expressed maternally in the zebrafish embryo and transcripts are distributed uniformly in blastula and gastrula stages. Expression becomes restricted to the prechordal pl...

In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook’s function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK-algebras consisting of certain polynomial-time algorithms. It ...

The notion of a (closed) double-framed soft ideal (briefly, a (closed) DFS-ideal) in BCK/BCI-algebras is introduced, and related properties are investigated. Several examples are provided. The relation between a DFS-algebra and a DFS-ideal is considered, and characterizations of a (closed) DFS-ideal are established. A new DFS-ideal from old one is constructed, and we show that the int-uni DFS-s...

The aim of this paper is to apply the concept of interval-valued intuitionistic fuzzy set to implicative ideals and commutative ideals in BCK-algebras and introduced the new notion of interval-valued intuitionistic fuzzy implicative ideals in BCK-algebras and interval-valued intuitionistic fuzzy commutative ideals in BCK-algebras and related properties are investigated.

Copyright q 2010 Young Bae Jun et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Based on the theory of falling shadows and fuzzy sets, the notion of a falling fuzzy implicative ideal of a BCK-algebra is introduced. Relations...

In 1982, Pawlak introduced the concept of a rough set (see [6]). This concept is fundamental for the examination of granularity in knowledge. It is a concept which has many applications in data analysis (see [7]). Rough set theory is applied to semigroups and groups (see [4, 5]), and BCK-algebras (see [3]). In this paper, we apply the rough set theory to BCC-algebras, and we discuss the notion ...

Given Φ,Ψ ∈ {∈, q,∈ ∨ q}, the notion of (Φ, Ψ)neutrosophic subalgebras of a BCK/BCI-algebra are introduced, and related properties are investigated. Characterizations of an (∈,∈)neutrosophic subalgebra and an (∈,∈∨ q)-neutrosophic subalgebra are provided. Given special sets, so called neutrosophic ∈-subsets, neutrosophic q-subsets and neutrosophic ∈∨ q-subsets, conditions for the neutrosophic ∈...

In this paper, we investigate the ideal theory in BCK-algebras and we define the notions of primary and P -primary ideals. Then we show that in bounded implicative BCK-algebras, if an ideal has a primary decomposition, then it has a reduced primary decomposition. In the follow, we extend the above concepts to X-modules (Extended BCK-modules) and we introduce the notions of primary and P -primar...