• Journal for History of Mathematics
• /
• v.13 no.1
• /
• pp.125-136
• /
• 2000

The notion of MV-algebra was introduced by C.C. Chang in 1958 to provide an algebraic proof of the completeness of Lukasiewicz axioms for infinite valued logic. These algebras appear in the literature under different names: Bricks, Wajsberg algebra, CN-algebra, bounded commutative BCK-algebras, etc. The purpose of this paper is to give a topological lattice completion of semisimple MV-algebras. To this end, we characterize the complete atomic center MV-algebras and semisimple algebras as subalgebras of a cube. Then we define the $\delta$-completion of semisimple MV-algebra and construct the $\delta$-completion. We also study some important properties and extension properties of $\delta$-completion.

• Honam Mathematical Journal
• /
• v.40 no.3
• /
• pp.539-548
• /
• 2018

The notions of Smarandache (positive implicative, commutative, implicative) d-algebras, Smarandache subalgebras of Smarandache d-algebras and Smarandache BCK-ideals(d-ideals) of a Smarandache d-algebras are introduced. Examples are given, and several related properties are investigated.