Skip to main content
SpringerLink
Log in

ŁΠ logic with fixed points

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aho, A.V., Ulmann, J.D.: Universality of data retrieval languages. In: 6th ACM symposium on principles of programming languages, pp. 110–117 (1979)

  2. Bigard, A., Keimel, K., Wolfenstein, S.: Groupes at Anneaux Reticulés. Lectures Notes in Mathematics, vol. 608. Kluwer, Dordrecht (1977)

  3. Blok, W.J., Pigozzi, D.: Algebraizable logics. Memoirs of Am. Math. Soc. 396(77) (1989)

  4. Beckmann A., Preining N.: Linear Kripke frames and Gödel logic. J. Symbol. Logic 71(1), 26–44 (2007)

    MathSciNet  Google Scholar 

  5. 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)

  6. 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)

    Article  Google Scholar 

  7. Chang C.C.: Algebraic analysis of many valued logic. Trans. Am. Math. Soc 88, 467–490 (1958)

    Article  MATH  Google Scholar 

  8. Cintula P.: A note on the definition of LΠ algebras. Soft Comput. 9(8), 575–578 (2005)

    Article  MATH  Google Scholar 

  9. Dawar A., Gurevich Y.: Fixed points logics. Bull. Symbol. Logic 8, 65–90 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  10. Esteva F., Godo L.: Putting together Łukasiewiczand product logic. Mathw Soft Comput. 6, 219–234 (1999)

    MATH  MathSciNet  Google Scholar 

  11. 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)

    Article  MATH  MathSciNet  Google Scholar 

  12. Flaminio T., Montagna F.: A logical and algebraic treatment of conditional probability. Arch. Math. Logic 44, 245–262 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  13. Galatos N., Ono H.: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over fl. Stud. Logica 83(1–3), 279–308 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  14. Hájek P.: Basic fuzzy logic and BL algebras. Soft Comput. 2, 124–128 (1998)

    Google Scholar 

  15. Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, Studia Logica Library, vol. 4. Kluwer, Berlin (1998)

  16. Hájek P., Godo L., Esteva F.: Reasoning about probability in fuzzy logic. Neural Network World 10(5), 811–824 (2000)

    Google Scholar 

  17. Kozen D.: Results on the propositional mu-calculus. Theor. Comp. Sci. 27, 333–354 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  18. Marchioni E., Montagna F.: Complexity and definability issues in Ł\({{\rm \Pi\frac{1}{2}}}\) . J. Logic Comput. 17(2), 311–331 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  19. 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)

    Article  MATH  MathSciNet  Google Scholar 

  20. McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth and Brooks/Cole, Monterey (1987)

  21. Montagna F.: An algebraic approach to propositional fuzzy logic. J. Logic Lang. Inf. 9, 91–124 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  22. 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)

    Article  MathSciNet  Google Scholar 

  23. Moschovakis Y.N.: Elementary Induction on Abstract Structures. North Holland, Amsterdam (1974)

    MATH  Google Scholar 

  24. Montagna F., Sacchetti L.: Kripke-style semantics for many-valued logics. Math. Logic Quart. 49(6), 629–641 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  25. Montagna F., Spada L.: Continuous approximations of MV-algebras with product and product residuation. Soft Comput. 9/3, 149–154 (2005)

    Article  Google Scholar 

  26. Mundici D.: If-then-else and rule extraction from two sets of rules. J. Symbol. Logic 59(2), 596–602 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  27. Mundici D.: Tensor product and the Loomis Sikorski theorem for MV algebras. Adv. Appl. Math. 22, 227–248 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  28. Tarski A.: A lattice-theoretical fixed point theorem and its applications. Pac. J. Math. 5, 285–309 (1955)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica e Informatica, Università degli Studi di Salerno, Via Ponte don Melillo, 84084, Fisciano (SA), Italy

    Luca Spada

Authors
  1. Luca Spada
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luca Spada.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-008-0105-3

Keywords

Mathematics Subject Classification (2000)

Search

Navigation