О квазимногообразиях алгебр с определимыми главными конгруэнциями
А.М. Нуракунов (1990)
Algebra i Logika
Similarity:
А.М. Нуракунов (1990)
Algebra i Logika
Similarity:
Я. Деметрович, Л. Ханнак (1980)
Algebra i Logika
Similarity:
Н.И. Продан (1981)
Algebra i Logika
Similarity:
К.В. Адаричева, K. V. Adaričeva, K. V. Adaričeva, K. V. Adaričeva (1996)
Algebra i Logika
Similarity:
J. Słomiński (1960)
Fundamenta Mathematicae
Similarity:
К.В. Адаричева, В.А. Горбунов, В. Дзёбяк, K. V. Adaričeva (1997)
Algebra i Logika
Similarity:
В.К. Карташов (1980)
Algebra i Logika
Similarity:
Iskander, A.A. (1996)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Pavol Zlatoš (1983)
Commentationes Mathematicae Universitatis Carolinae
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.