Algebraic logic and logical geometry in arbitrary varieties of algebras

2012/05/28 by B. Plotkin, Plotkin, Boris
Computer Science · #20F70 #Advanced Algebra and Logic #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO) #Polynomial and algebraic computation

paper · pdf · doi:10.48550/arxiv.1205.6235

openalex publication_date 2012/05/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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"

Related

• Algebraic Logic, Varieties of Algebras and Algebraic Varieties
• Algebra and logic. Some problems
• Seven Lectures on the Universal Algebraic Geometry
• Algebraic geometry in First Order Logic
• Algebraic logic and logically-geometric types in varieties of algebras