• 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

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.207-214
• /
• 2003

There exist two distinct Symmetric differences in a non Boolean orthomodular lattics. Let L be an orthomodular lattice. Then L is a Boolean algebra if and only if one symmetric difference is equal to the other. An orthomodular lattice L is Boolean if and only if one of two symmetric differences of L is associative.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.373-385
• /
• 2009

An m${\times}$n Boolean matrix A is called regular if there exists an n${\times}$m Boolean matrix X such that AXA = A. We have characterizations of Boolean regular matrices. We also determine the linear operators that strongly preserve Boolean regular matrices.

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• 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 applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.465-486
• /
• 2005

We study the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a distributive lattice. And we prove that the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences on a generalized Boolean algebra.

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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.522-525
• /
• 1998

Although each de Morgan algebra has not always fixed points(centers), it has always fixed cores, the natural extention of fixed points. Fixed cores, of they do not degenerate to fixed points, are Boolean algebras, It is also shown the necessary and sufficient condition a algebra to be a Kleene algebra(fuzzy algebra) is that it has just one fixed core.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.63-63
• /
• 1985

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