Displaying similar documents to “Bijective reflexions and coreflexions of commutative unars”

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

The two-square lemma.

Temple H. Fay, Keith A. Hardie, Peter J. Hilton (1989)

Publicacions Matemàtiques

Similarity:

A new proof is given of the connecting homomorphism.