Universal Algebra and Mathematical Logic

Details Universal Algebra and Mathematical Logic Universal Algebra and Mathematical Logic

2011-04-24

arxiv.org/abs/1104.4606v1

Mathematics

Logic

Scientific paper

In this paper, first-order logic is interpreted in the framework of universal algebra, using the clone theory developed in three previous papers. We first define the free clone T(L, C) of terms of a first order language L over a set C of parameters in a standard way. The free right algebra F(L, C) of formulas over T(L, C) is then generated by atomic formulas. Structures for L over C are represented as perfect valuations of F(L, C), and theories of L are represented as filters of F(L). Finally Godel's completeness theorem and first incompleteness theorem are stated as expected.

Affiliated with

Also associated with

No associations

Rating

Universal Algebra and Mathematical 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 Universal Algebra and Mathematical Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Universal Algebra and Mathematical Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-623801