• Kyungpook Mathematical Journal
• /
• 제43권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.

• 충청수학회지
• /
• 제29권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제7권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.

• 호남수학학술지
• /
• 제36권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.

• 대한수학회지
• /
• 제6권2호
• /
• pp.75-80
• /
• 1969

• 대한수학회지
• /
• 제43권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.

• 대한수학회지
• /
• 제44권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.

• 호남수학학술지
• /
• 제26권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권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
• /
• 제45권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