Algebraic logic and logical geometry in arbitrary varieties of algebras
classification
🧮 math.GR
math.LO
keywords
algebraicgeometrylogicalgebrasarbitrarylogicalplotkinsome
read the original 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"
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.