TY - RPRT TI - Algebraic logic and logically-geometric types in varieties of algebras AU - Boris Plotkin AU - Elena Aladova AU - Eugene Plotkin PY - 2011 UR - https://arxiv.org/abs/1108.0573 ID - 1108.0573 ER -