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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aho, A.V., Ulmann, J.D.: Universality of data retrieval languages. In: 6th ACM symposium on principles of programming languages, pp. 110–117 (1979)
Bigard, A., Keimel, K., Wolfenstein, S.: Groupes at Anneaux Reticulés. Lectures Notes in Mathematics, vol. 608. Kluwer, Dordrecht (1977)
Blok, W.J., Pigozzi, D.: Algebraizable logics. Memoirs of Am. Math. Soc. 396(77) (1989)
Beckmann A., Preining N.: Linear Kripke frames and Gödel logic. J. Symbol. Logic 71(1), 26–44 (2007)
Cauchy, A.: In: Oevres (2), vol. 9, Chapter Sur la resolution des equations numeriques et sur la theorie de l’elimination, pp. 87–161. Gauthier-Villars, Paris (1891)
Cignoli R., Esteva F., Godo L., Torrens A.: Basic fuzzy logic is the logic of t-norms and their residua. Soft Comput. 4, 106–112 (2000)
Chang C.C.: Algebraic analysis of many valued logic. Trans. Am. Math. Soc 88, 467–490 (1958)
Cintula P.: A note on the definition of LΠ algebras. Soft Comput. 9(8), 575–578 (2005)
Dawar A., Gurevich Y.: Fixed points logics. Bull. Symbol. Logic 8, 65–90 (2002)
Esteva F., Godo L.: Putting together Łukasiewiczand product logic. Mathw Soft Comput. 6, 219–234 (1999)
Esteva F., Godo L., Montagna F.: The L\Pi and L\({{\rm\Pi\frac{1}{2}}}\) logics: two complete fuzzy systems joining Łukasiewiczand product logics. Arch. Math. Logic 40, 39–67 (2001)
Flaminio T., Montagna F.: A logical and algebraic treatment of conditional probability. Arch. Math. Logic 44, 245–262 (2005)
Galatos N., Ono H.: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over fl. Stud. Logica 83(1–3), 279–308 (2006)
Hájek P.: Basic fuzzy logic and BL algebras. Soft Comput. 2, 124–128 (1998)
Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, Studia Logica Library, vol. 4. Kluwer, Berlin (1998)
Hájek P., Godo L., Esteva F.: Reasoning about probability in fuzzy logic. Neural Network World 10(5), 811–824 (2000)
Kozen D.: Results on the propositional mu-calculus. Theor. Comp. Sci. 27, 333–354 (1983)
Marchioni E., Montagna F.: Complexity and definability issues in Ł\({{\rm \Pi\frac{1}{2}}}\) . J. Logic Comput. 17(2), 311–331 (2007)
McKenzie R.: On spectra, and the negative solution of the decision problem for identities having a finite nontrivial mode. J. Symbol. Logic 40, 186–196 (1975)
McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth and Brooks/Cole, Monterey (1987)
Montagna F.: An algebraic approach to propositional fuzzy logic. J. Logic Lang. Inf. 9, 91–124 (2000)
Montagna F.: Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Ann. Pure Appl. Logic 149(1–2), 148–179 (2006)
Moschovakis Y.N.: Elementary Induction on Abstract Structures. North Holland, Amsterdam (1974)
Montagna F., Sacchetti L.: Kripke-style semantics for many-valued logics. Math. Logic Quart. 49(6), 629–641 (2003)
Montagna F., Spada L.: Continuous approximations of MV-algebras with product and product residuation. Soft Comput. 9/3, 149–154 (2005)
Mundici D.: If-then-else and rule extraction from two sets of rules. J. Symbol. Logic 59(2), 596–602 (1994)
Mundici D.: Tensor product and the Loomis Sikorski theorem for MV algebras. Adv. Appl. Math. 22, 227–248 (1999)
Tarski A.: A lattice-theoretical fixed point theorem and its applications. Pac. J. Math. 5, 285–309 (1955)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Spada, L. ŁΠ logic with fixed points. Arch. Math. Logic 47, 741–763 (2008). https://doi.org/10.1007/s00153-008-0105-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-008-0105-3