Clone Theory and Algebraic Logic

Details Clone Theory and Algebraic Logic Clone Theory and Algebraic Logic

2009-07-27

arxiv.org/abs/0907.4531v1

Computer Science

Logic in Computer Science

Scientific paper

The concept of a clone is central to many branches of mathematics, such as universal algebra, algebraic logic, and lambda calculus. Abstractly a clone is a category with two objects such that one is a countably infinite power of the other. Left and right algebras over a clone are covariant and contravariant functors from the category to that of sets respectively. In this paper we show that first-order logic can be studied effectively using the notions of right and left algebras over a clone. It is easy to translate the classical treatment of logic into our setting and prove all the fundamental theorems of first-order theory algebraically.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-245540