algebra algebraiclogic algebraicstructures algèbreuniverselle artificialintelligence borelsets complementedlattices computerscience distribution(probabilitytheory) equationalclasses generalalgebraicsystems informatique intermediate lattices latticetheory logic mathematicallogicandfoundations mathematicalstatistics mathematics mathématiques modality(logic) modeltheory modularlattices order orderedalgebraicstructures stochasticprocesses universal varieties varieties(universalalgebra)