论文信息 - Congruence—distributive polynomial reducts of lattices - 字舞流文

Congruence—distributive polynomial reducts of lattices

[1] Emil L. Post. The two-valued iterative systems of mathematical logic , 1942 .

[2] George Gratzer,et al. Universal Algebra , 1979 .

[3] B. Jonnson. Algebras Whose Congruence Lattices are Distributive. , 1967 .

[4] A. Mitschke,et al. Implication algebras are 3-permutable and 3-distributive , 1971 .

[5] R. Lyndon. Identities in two-valued calculi , 1951 .