Algebraic logic and logical geometry in arbitrary varieties of algebras
Group Theory
2012-06-05 v2 Logic
Abstract
The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a brief exposition of some ideas from the book in progress: B.Plotkin, E.Aladova, E.Plotkin, "Algebraic logic and logical geometry in arbitrary varieties of algebras"
Keywords
Cite
@article{arxiv.1205.6235,
title = {Algebraic logic and logical geometry in arbitrary varieties of algebras},
author = {Boris Plotkin},
journal= {arXiv preprint arXiv:1205.6235},
year = {2012}
}