We generalize the concept of deductive system of Hilbert algebras for the general case of algebras in 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.
We generalize the concept of deductive system of Hilbert algebras for the general case of algebras in 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. (en)