One useful logic that defines its own truth

Details One useful logic that defines its own truth One useful logic that defines its own truth

2008-11-06

arxiv.org/abs/0811.0964v1

Computer Science

Logic in Computer Science

Scientific paper

Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own right as it has attractive properties. One of those properties is rather unusual: truth of formulas can be defined (given appropriate syntactic apparatus) in the logic. We mentioned that property elsewhere, and we use this opportunity to provide the proof.

Affiliated with

Also associated with

No associations

Rating

One useful logic that defines its own truth 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 One useful logic that defines its own truth, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and One useful logic that defines its own truth will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-630938