We introduce and study some types of fuzzy prefilters (filters) in EQ-algebras. First, we present several characterizations of fuzzy positive implicative prefilters (filters), fuzzy implicative prefilters (filters), and fuzzy fantastic prefilters (filters). Next, using their characterizations, we mainly consider the relationships among these special fuzzy filters. Particularly, we find some con...

The concept of fuzzy multiply positive BCC-ideals of BCC-algebras is introduced, and then some related results are obtained. Moreover, we introduce the concept of T -fuzzy multiply positive implicative BCC-ideals of BCC-algebras and investigate T -product of T -fuzzy multiply positive implicative BCC-ideals of BCC-algebras, examining its properties. Using a t-norm T , the direct product and T -...

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

This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass— the class of weakly implicativ...

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 notion of an isomorphism between two hyper BCI-algebras and obtain all of the hyper BCI-algebras of order 3. It is shown that there exist 14 proper hyper BCI-algebras and 5 proper weak hyper BCI-algebras of order 3 up to isomorphism. Finally, further study on the theory of hyper BCI-algebra and its related hyper structure and applications of our results in information sciences a...

The aim of this paper is to introduce the notion of (∈,∈∨ q)-fuzzy (implicative, MV and G-) filters of pseudo-BL algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) filters are derived. The relationship among these generalized fuzzy filters of pseudo-BL algebras is considered. It is proved that an (∈,∈ ∨q)-fuzzy f...

We discuss the relationship between various weak distributive laws and games in Boolean algebras. In the first part we give some game characterizations for certain forms of Prikry’s “hyper-weak distributive laws”, and in the second part we construct Suslin algebras in which neither player wins a certain hyper-weak distributivity game. We conclude that in the constructible universe L , all the d...

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