Implication algebras are 3-permutable and 3-distributive
暂无分享,去创建一个
[1] A. Pixley,et al. Distributivity and permutability of congruence relations in equational classes of algebras , 1963 .
[2] B. Jonnson. Algebras Whose Congruence Lattices are Distributive. , 1967 .
[3] Bjarni Jónsson. On the representation of lattices , 1953 .
[4] Alan Day,et al. A Characterization of Modularity for Congruence Lattices of Algebras* , 1969, Canadian Mathematical Bulletin.
[5] George Grätzer,et al. Two Mal'cev-type theorems in universal algebra , 1970 .