One useful logic that defines its own truth

13 years 2 months ago
One useful logic that defines its own truth
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. Believe those who are seeking the truth. Doubt those who find it. --Andr
Andreas Blass, Yuri Gurevich
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Andreas Blass, Yuri Gurevich
Comments (0)