On the determining of the form of congruences in abstract algebras with equationally definable constant elements
J. Słomiński (1960)
Fundamenta Mathematicae
Similarity:
J. Słomiński (1960)
Fundamenta Mathematicae
Similarity:
Jaromír Duda (1991)
Czechoslovak Mathematical Journal
Similarity:
Jiří Demel (1982)
Kybernetika
Similarity:
Yuzhong Ding, Zhiyong Pang (2007)
Formalized Mathematics
Similarity:
We have formalized the BCI-algebras closely following the book [7] pp. 16-19 and pp. 58-65. Firstly, the article focuses on the properties of the element and then the definition and properties of congruences and quotient algebras are given. Quotient algebras are the basic tools for exploring the structures of BCI-algebras.
Hui-Qin Cao, Hao Pan (2008)
Acta Arithmetica
Similarity:
Jaromír Duda (1992)
Mathematica Bohemica
Similarity:
We give Mal’cev conditions for varieties 4V4 whose congruences on the product , are determined by their restrictions on the axes in .