Displaying similar documents to “An Elementary Treatise on Quaternions”

Commutative directoids with sectional involutions

Ivan Chajda (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.

Several Classes of BCK-algebras and their Properties

Tao Sun, Dahai Hu, Xiquan Liang (2007)

Formalized Mathematics

Similarity:

In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].