1 citations · 1 across the 6 of their papers we have counts for
Showing 2019 · math.LOShow all
2 papers · 2 filters
math.LO2019
Congruence pairs of principal MS-algebras and perfect extensions
Abd El-Mohsen Badawy, Miroslav Haviar, Miroslav Ploščica
The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for -algebras \cite{6}, is introduced. It is proved that the congruences of the…
math.LO2019
Perfect extensions of de Morgan algebras
Miroslav Haviar, Miroslav Ploščica
An algebra is called a perfect extension of its subalgebra if every congruence of has a unique extension to . This terminology was us…