ŁΠ logic with fixed points |
| |
Authors: | Luca Spada |
| |
Institution: | 1. Dipartimento di Matematica e Informatica, Università degli Studi di Salerno, Via Ponte don Melillo, 84084, Fisciano (SA), Italy
|
| |
Abstract: | We study a system, μ?Π, obtained by an expansion of ?Π logic with fixed points connectives. The first main result of the paper is that μ?Π is standard complete, i.e., complete with regard to the unit interval of real numbers endowed with a suitable structure. We also prove that the class of algebras which forms algebraic semantics for this logic is generated, as a variety, by its linearly ordered members and that they are precisely the interval algebras of real closed fields. This correspondence is extended to a categorical equivalence between the whole category of those algebras and another category naturally arising from real closed fields. Finally, we show that this logic enjoys implicative interpolation. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|