the aim of this paper is to extend results established by h. onoand t. kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. the main theorem states that a residuatedlattice a is directly indecomposable if and only if its boolean center b(a)is {0, 1}. we also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...

The word, Boolean, was derived from the name of a British mathematician, George Boole, as a result of his classical work on logic. Boolean algebra can be defined as a set, whose members have two possible values, with two binary operators and one unary operator, satisfying the properties of commutativity, associativity, distributivity, existence of identity and complement. Boolean algebra has im...

In this note, we study the lattice structure on the class of all weak hyper K-ideals of a hyper K-algebra. We first introduce the notion of (left,right) scalar in a hyper K-algebra which help us to characterize the weak hyper K-ideals generated by a subset. In the sequel, using the notion of a closure operator, we study the lattice of all weak hyper K-ideals of ahyper K-algebra, and we prove a ...

In t roduct ion This paper is about the symbols and notations of boolean algebra, and about the way the subject is explained. It is about education, and about putting boolean algebra into general use and practice. To make the scope clear, by "boolean algebra" I mean the algebra whose expressions are of type boolean. I mean to include the expressions of propositional calculus and predicate calcu...

abstract. in this paper, we introduce the notion of fuzzy obstinate ideals in mv -algebras. some properties of fuzzy obstinate ideals are given. not only we give some characterizations of fuzzy obstinate ideals, but also bring the extension theorem of fuzzy obstinate ideal of an mv -algebra a. we investigate the relationships between fuzzy obstinate ideals and the other fuzzy ideals of an mv -a...

Every lown Boolean algebra, for 1 ≤ n ≤ 4, is isomorphic to a computable Boolean algebra. It is not yet known whether the same is true for n > 4. However, it is known that there exists a low5 subalgebra of the computable atomless Boolean algebra which, when viewed as a relation on the computable atomless Boolean algebra, does not have a computable copy. We adapt the proof of this recent result ...