On extending congruences from partial algebras
Isidore Fleischer (1975)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Extending a partial equivalence to a congruence and relative embeddings in universal algebras”
On extending congruences from partial algebras
On the extending of models (III)
J. Słomiński (1956)
Fundamenta Mathematicae
Similarity:
On generalized algebras
Sioson, F.M. (1966)
Portugaliae mathematica
Similarity:
Extensions of congruence relations on infinitary partial algebras. A problem of G. Grätzer
G. Wenzel (1970)
Fundamenta Mathematicae
Similarity:
Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras
Jiří Demel (1982)
Kybernetika
Similarity:
On the determining of the form of congruences in abstract algebras with equationally definable constant elements
J. Słomiński (1960)
Fundamenta Mathematicae
Similarity:
Congruences and Quotient Algebras of BCI-algebras
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.