Algebraic Logic, Varieties of Algebras and Algebraic Varieties
B.Plotkin

TL;DR
This paper explores the relationships between algebraic logic, varieties of algebras, and algebraic varieties, highlighting their connections and introducing new directions in universal algebraic geometry.
Contribution
It provides a survey of the relations among these objects and proposes new perspectives in universal algebraic geometry.
Findings
Identifies connections between algebraic logic and algebraic varieties.
Introduces new directions in universal algebraic geometry.
Highlights parallels between universal algebra and algebraic geometry.
Abstract
The aim of the paper is to discuss the relations between the three kinds of objects named in the title. In a sense, this is a survey of such relations; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider the universal algebraic geometry. This geometry is parallel to universal algebra.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
