Algebraic geometry in First Order Logic

Details Algebraic geometry in First Order Logic Algebraic geometry in First Order Logic

2003-12-29

arxiv.org/abs/math/0312485v1

Mathematics

General Mathematics

83pp

Scientific paper

In every variety of algebras $\Theta$ 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 $\Theta^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 $\Theta$. 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.

Affiliated with

Also associated with

No associations

Rating

Algebraic geometry in First Order Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Algebraic geometry in First Order Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algebraic geometry in First Order Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-717718