Universal Algebra and Lattice Theory: Proceedings of a Conference held at Charleston, July 11-14, 1984 (Lecture Notes in Mathematics, 1149)

Universal terms for pseudo-complemented distributive lattices and Heyting algebras....Pages 1-16 Clones of operations on relations....Pages 17-21 Separation conditions on convexity lattices....Pages 22-36 Some independence results in the co-ordinization of arguesian lattices....Pages 37-45 Unary operations on completely distributive complete lattices....Pages 46-81 Connected components of the covering relation in free lattices....Pages 82-93 Varieties with linear subalgebra geometries....Pages 94-100 Generalized commutativity....Pages 101-122 The word and isomorphism problems in universal algebra....Pages 123-128 Linear lattice proof theory: An overview....Pages 129-141 Interpolation antichains in lattices....Pages 142-149 Subdirectly irreducible and simple boolean algebras with endomorphisms....Pages 150-162 A note on varieties of graph algebras....Pages 163-166 How to construct finite algebras which are not finitely based....Pages 167-174 Finite integral relation algebras....Pages 175-197 Some varieties of semidistributive lattices....Pages 198-223 Homomorphisms of partial and of complete steiner triple systems and quasigroups....Pages 224-237 Principal congruence formulas in arithmetical varieties....Pages 238-254 From affine to projective geometry via convexity....Pages 255-269 More conditions equivalent to congruence modularity....Pages 270-282