• Kyungpook Mathematical Journal
• /
• v.43 no.4
• /
• pp.539-545
• /
• 2003

We present a set of equations that axiomatizes the class of all lattice implication algebras. The construction is different from the one given in [7], and the proof is direct: i.e., it does not rely on results from outside the realm of the lattice implication algebras, such as the theory of BCK-algebras. Then we show that the lattice H implication algebras are nothing more than the familiar Boolean algebras. Finally we obtain some negative results for the embedding of lattice implication algebras into Boolean algebras.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.4
• /
• pp.613-629
• /
• 2016

In this paper, we introduced the notion of multiplier of Boolean algebras and discuss related properties between multipliers and special mappings, like dual closures, homomorphisms on B. We introduce the notions of xed set $Fix_f(X)$ and normal ideal and obtain interconnection between multipliers and $Fix_f(B)$. Also, we introduce the special multiplier ${\alpha}_p$a nd study some properties. Finally, we show that if B is a Boolean algebra, then the set of all multipliers of B is also a Boolean algebra.

• The Pure and Applied Mathematics
• /
• v.7 no.1
• /
• pp.19-26
• /
• 2000

The purpose of the paper is to show that in the Fraenkel-Mostowski topos, the category of the Boolean algebras has enough injectives.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.813-830
• /
• 2014

The notions of a (Boolean, prime, ultra, good) hesitant fuzzy filter and a hesitant fuzzy MV -filter of an MTL-algebras are introduced, and their relations are investigated. Characterizations of a (Boolean, ultra) hesitant fuzzy filter are discussed. Conditions for a hesitant fuzzy set to be a hesitant fuzzy filter, and for a hesitant fuzzy filter to be a Boolean hesitant fuzzy filter are provided.

• Journal of the Korean Mathematical Society
• /
• v.6 no.2
• /
• pp.75-80
• /
• 1969

• Journal of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.539-552
• /
• 2006

For an $n{\times}n$ Boolean matrix A, A is called nilpotent if $A^m=O$ for some positive integer m. We consider the set of $n{\times}n$ nilpotent Boolean matrices and we characterize linear operators that strongly preserve nilpotent matrices over Boolean algebras.

• Journal of the Korean Mathematical Society
• /
• v.44 no.1
• /
• pp.169-178
• /
• 2007

We consider the set of $n{\times}n$ idempotent matrices and we characterize the linear operators that preserve idempotent matrices over Boolean algebras. We also obtain characterizations of linear operators that preserve idempotent matrices over a chain semiring, the nonnegative integers and the nonnegative reals.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.471-481
• /
• 2004

In this paper we introduce the notion of a (pre-)Coxeter algebra and show that a Coxeter algebra is equivalent to an abelian group all of whose elements have order 2, i.e., a Boolean group. Moreover, we prove that the class of Coxeter algebras and the class of B-algebras of odd order are Smarandache disjoint. Finally, we show that the class of pre-Coxeter algebras and the class of BCK-algebras are Smarandache disjoint.

• The Pure and Applied Mathematics
• /
• v.25 no.4
• /
• pp.253-265
• /
• 2018

In this paper, we introduce the concept of Fibonacci sequences on MV-algebras and study them accurately. Also, by introducing the concepts of periodic sequences and power-associative MV-algebras, other properties are also obtained. The relation between MV-algebras and Fibonacci sequences is investigated.

• Kyungpook Mathematical Journal
• /
• v.45 no.4
• /
• pp.481-489
• /
• 2005

We first show that any complete MV-algebra whose Boolean subalgebra of idempotent elements is atomic, called a complete MV-algebra with atomic center, is isomorphic to a product of unit interval MV-algebra 1's and finite linearly ordered MV-algebras of A(m)-type $(m{\in}{\mathbb{Z}}^+)$. Secondly, for a semi-simple MV-algebra A, we introduce a completion ${\delta}(A)$ of A which is a complete, MV-algebra with atomic center. Under their intrinsic topologies $(see\;{\S}3)$ A is densely embedded into ${\delta}(A)$. Moreover, ${\delta}(A)$ has the extension universal property so that complete MV-algebras with atomic centers are epireflective in semi-simple MV-algebras