Publication:4662465

zbMath1079.08001MaRDI QIDQ4662465

Radomír Halaš, Ivan Chajda

Publication date: 30 March 2005

zbMATH Keywords

Galois connection; congruence kernel; \(b\)-deductive system

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

08A30: Subalgebras, congruence relations

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

A glimpse of deductive systems in algebra