Skip to main content
SpringerLink
Log in

Monadic Bounded Residuated Lattices

  • Published:
Order Aims and scope Submit manuscript

Abstract

Bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In the paper we introduce and investigate monadic bounded integral residuated lattices which can be taken as a generalization of algebraic models of the predicate calculi of those logics in which only a single variable occurs.

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

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

References

  1. Balbes, R., Dwinger, P.: Distributive Lattices. Univ. Missouri Press, Columbia (1974)

    MATH  Google Scholar 

  2. Belluce, L.P., Grigolia, R., Lettieri, A.: Representations of monadic MV-algebras. Stud. Log. 81, 123–144 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bezhanisvili, G.: Varieties of monadic Heyting algebras I. Stud. Log. 61, 367–402 (1998)

    Article  Google Scholar 

  4. Bezhanisvili, G.: Varieties of monadic Heyting algebras II. Stud. Log. 62, 21–48 (1999)

    Article  Google Scholar 

  5. Bezhanisvili, G.: Varieties of monadic Heyting algebras III. Stud. Log. 63, 215–256 (2000)

    Article  Google Scholar 

  6. Bezhanisvili, G., Harding, J.: Functional monadic Heyting algebras. Alg. Univers. 48, 1–10 (2002)

    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. Di Nola, A., Georgescu, G. and Iorgulescu, A.: Pseudo-BL algebras: Part I. Mult.-Valued Log. 8, 673–714 (2002)

    MathSciNet  MATH  Google Scholar 

  9. Di Nola, A., Georgescu, G. and Iorgulescu, A.: Pseudo-BL algebras: Part II. Mult.-Valued Log. 8, 717–750 (2002)

    MathSciNet  MATH  Google Scholar 

  10. Di Nola, A., Grigolia, R.: On monadic MV-algebras. Ann. Pure Appl. Logic 128, 125–139 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dvurečenskij, A.: Every linear pseudo BL-algebra admits a state. Soft Comput. 11, 495–501 (2007)

    Article  MATH  Google Scholar 

  12. Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left continuous t norms. Fuzzy Sets Syst. 124, 271–288 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  13. Flondor, P., Georgescu, G., Iorgulescu, A.: Pseudo t-norms and pseudo-BL-algebras. Soft Comput. 5, 355–371, (2001)

    Article  MATH  Google Scholar 

  14. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier Studies in Logic and Foundations, Amsterdam-Oxford (2007)

    MATH  Google Scholar 

  15. Galatos, N., Tsinakis, C.: Generalized MV-algebras. J. Algebra 283, 254–291 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  16. Georgescu, G., Popescu, A.: Non-commutative fuzzy structures and pair of weak negations. Fuzzy Sets Syst. 143, 129–155 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  17. Georgescu, G., Iorgulescu, A.: Pseudo-MV algebras. Mult.-Valued Log. 6, 95–135 (2001)

    MathSciNet  MATH  Google Scholar 

  18. Georgescu, G., Iorgulescu, A., Leuştean, I.: Monadic and closure MV-algebras. Mult.-Valued Log. 3, 235–257 (1998)

    MATH  Google Scholar 

  19. Grigolia, R.: Monadic BL-algebras. Georgian Math. J. 13, 267–276 (2006)

    MathSciNet  MATH  Google Scholar 

  20. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Amsterdam (1998)

    Book  MATH  Google Scholar 

  21. Hájek, P.: Observations on non-commutative fuzzy logic. Soft Comput. 8, 39–43 (2003)

    Article  Google Scholar 

  22. Hájek, P.: Fuzzy logics with noncommutative conjuctions. J. Log. Comput. 13, 469–479 (2003)

    Article  MATH  Google Scholar 

  23. Halmos, P.R.: Algebraic Logic. Chelsea Publ. Co., New York (1962)

    MATH  Google Scholar 

  24. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras, Parts I and II. North-Holland, Amsterdam (1971, 1985)

    Google Scholar 

  25. Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19–56. Kluwer Academic, Dordrecht (2002)

    Chapter  Google Scholar 

  26. Neméti, I.: Algebraization of quantifier logics. Stud. Log. 50, 485–569 (1991)

    Article  MATH  Google Scholar 

  27. Pigozzi, D., Salibra, A.: Polyadic algebras over nonclassical logics. In: Algebraic Methods in Logic and in Computer Science, vol. 28, pp. 51–66. Banach Center Publ. (1993)

  28. Rachůnek, J.: A non-commutative generalization of MV-algebras. Czechoslov. Math. J. 52, 255–273 (2002)

    Article  MATH  Google Scholar 

  29. Rachůnek, J., Šalounová, D.: Monadic GMV-algebras. Arch. Math. Log. 47, 277–297 (2008)

    Article  MATH  Google Scholar 

  30. Rachůnek, J., Švrček, F.: Monadic bounded commutative residuated ℓ-monoids. Order 25, 157–175 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  31. Rutledge, J.D.: A preliminary investigation of the infinitely many-valued predicate calculus. Ph.D. thesis, Cornell University (1959)

  32. Varsavsky, O.: Quantifiers and equivalence realations. Rev. Mat. Cuyana 2, 29–51 (1956)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Algebra and Geometry, Faculty of Sciences, Palacký University, 17.listopadu 12, 771 46, Olomouc, Czech Republic

    Jiří Rachůnek

  2. Department of Mathematical Methods in Economy, Faculty of Economics, VŠB–Technical University Ostrava, Sokolská 33, 701 21, Ostrava, Czech Republic

    Dana Šalounová

Authors
  1. Jiří Rachůnek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dana Šalounová
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jiří Rachůnek.

Additional information

The first author was supported by the Council of Czech Government, MSM 6198959214.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rachůnek, J., Šalounová, D. Monadic Bounded Residuated Lattices. Order 30, 195–210 (2013). https://doi.org/10.1007/s11083-011-9236-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-011-9236-y

Keywords

Mathematics Subject Classifications (2010)

Search

Navigation