Polynomially determined congruences in algebras without constants
Radim Bělohlávek, Ivan Chajda (1997)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Radim Bělohlávek, Ivan Chajda (1997)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Hui-Qin Cao, Hao Pan (2008)
Acta Arithmetica
Similarity:
Jaromír Duda (1991)
Czechoslovak Mathematical Journal
Similarity:
Jaromír Duda (1992)
Czechoslovak Mathematical Journal
Similarity:
J. Słomiński (1960)
Fundamenta Mathematicae
Similarity:
Richter, Christian (2009)
Beiträge zur Algebra und Geometrie
Similarity:
Pierre Kaplan, Kenneth S. Williams (2002)
Acta Arithmetica
Similarity:
Marica D. Prešić (1979)
Publications de l'Institut Mathématique
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.