Algebraic logic and logically-geometric types in varieties of algebras

Boris Plotkin, Elena Aladova, Eugene Plotkin

The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algeb…