Universal Algebra and Lattice Theory: Proceedings of a Conference held at Charleston, July 11–14, 1984

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