×

zbMATH — the first resource for mathematics

Congruence kernels in weakly regular varieties. (English) Zbl 0988.08002
Summary: We generalize the concept of deductive system of Hilbert algebras for the general case of algebras in a weakly regular variety and we show that congruence kernels of these algebras are just deductive systems. This concept enables us to describe congruence classes in algebras of weakly regular varieties.

MSC:
08A30 Subalgebras, congruence relations
08B05 Equational logic, Mal’tsev conditions
PDF BibTeX XML Cite
Full Text: DOI