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

Type-2 fuzzy sets were introduced by Zadeh in 1975 in a series of papers. The basic idea is to generalize the notion of ordinary fuzzy sets (type-1), a¤ording wider applicability. This paper gives a general overview of some of the mathematical aspects of type-2 fuzzy set theory, emphasizing precisely how type-2 generalizes type-1 and interval-valued fuzzy set theory. We will summarize the theor...

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

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.

Let $L$ be a finite-dimensional Lie algebra. We say a subalgebra $H$ of $L$ is permutably complemented in $L$ if there is a subalgebra $K$ of $L$ such that $L=H+K$ and $Hcap K=0$. Also, if every subalgebra of $L$ is permutably complemented in $L$, then $L$ is called completely factorisable. In this article, we consider the influence of these concepts on the structure of a Lie algebra, in partic...

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

Using the belongs to relation (∈) and quasi-coincidence with relation (q) between fuzzy points and fuzzy sets, the concept of (α, β)-fuzzy subalgebras where α, β are any two of {∈, q, ∈∨ q, ∈ ∧ q} with α 6=∈ ∧ q is introduced, and related properties are

The intuitionistic Q-fuzzification of the concept of subalgebras in BCK/BCI-algebra is considered, and some related properties are investigated.

the objective of this paper is to deal with the fuzzy conic program- ming problems. the aim here is to derive weak and strong duality theorems for a general fuzzy conic programming. toward this end, the convexity-like concept of fuzzy mappings is introduced and then a speci c ordering cone is established based on the parameterized representation of fuzzy numbers. un- der this setting, duality t...