2003/12/29 by B. Plotkin, Plotkin, B. · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.GM #math.LO #msc:03C05 #msc:03C98 #msc:03G99 #msc:08A70
paper · pdf · doi:10.48550/arxiv.math/0312485
83pp
arxiv created 2003/12/29 · arxiv updated 2009/12/01
In every variety of algebras Θ we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studied. Here we describe an extension of this theory towards the First Order Logic (FOL). The algebraic sets in this geometry are determined by arbitrary sets of FOL formulas. The principal motivation of such generalization lies in the area of applications to knowledge science. In this paper the FOL formulae are considered in the context of algebraic logic. With this aim we define special Halmos categories. These categories in the algebraic geometry related to FOL play the same role as the category of free algebras Θ0 play in the equational algebraic geometry. The paper consists of three parts. Section 1 is of introductory character. The first part (sections 2--4) contains background on algebraic logic in the given variety of algebras Θ. The second part is devoted to algebraic geometry related to FOL (sections 5--7). In the last part (sections 8--9) we consider applications of the previous material to knowledge science.