Skip to main content
SpringerLink
Log in

Duality Results for (Co)Residuated Lattices

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

We present dualities (discrete duality, duality via truth and Stone duality) for implicative and (co)residuated lattices. In combination with our recent article on a discrete duality for lattices with unary modal operators, the present article contributes in filling in a gap in the development of Orłowska and Rewitzky’s research program of discrete dualities, which seemed to have stumbled on the case of non-distributive lattices with operators. We discuss dualities via truth, which are essential in relating the non-distributive logic of two-sorted frames with their sorted, residuated modal logic, as well as full Stone duality for (co)residuated lattices. Our results have immediate applications to the semantics of related substructural (resource consious) logical calculi.

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. Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Logic 58(2), 514–545 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  2. Coumans, D., Gehrke, M., van Rooijen, L.: Relational semantics for full linear logic. Logic categories semantics. J. Appl. Logic 12(1), 50–66 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  3. Došen, K.: Modal translations in substructural logics. J. Philos. Logic 21, 283–336 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  4. Düntch, I., Orłowska, E., Kwuida, L.: A discrete representation for dicomplemented lattices. Fundam. Inform. 156, 281–295 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  5. Düntsch, I., Orłowska, E.: A discrete duality between apartness algebras and apartness frames. J. Appl. Non-class. Logics 18(2–3), 213–227 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  6. Düntsch, I., Orłowska, E.: Discrete dualities for double Stone algebras. Stud. Log. 99(1–3), 127–142 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  7. Düntsch, I., Orłowska, E.: Discrete duality for rough relation algebras. Fundam. Inform. 127(1–4), 35–47 (2013)

    MathSciNet  MATH  Google Scholar 

  8. Düntsch, I., Orłowska, E.: Discrete dualities for some algebras with relations. J. Log. Algebr. Meth. Program. 83(2), 169–179 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  9. Düntsch, I., Orłowska, E., van Alten, C.J.: Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. Fuzzy Sets Syst. 292, 203–214 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  10. Figallo, A.V., Pelaitay, G.: Discrete duality for Tense Łukasiewicz-Moisil algebras. Fundam. Inform. 136, 1–13 (2015)

    MATH  Google Scholar 

  11. Figallo, A.V., Pelaitay, G., Sanza, C.: Discrete duality for TSH-algebras. Commun. Korean Math. Soc. 27(1), 47–56 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  13. Gehrke, M.: Generalized Kripke frames. Stud. Log. 84(2), 241–275 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Gödel, K.: An interpretation of the intuitionistic propositional calculus, vol. 1, Collected Works, pp. 300–303. Oxford University Press, 1986 (first pubished in German, 1933)

  15. Gregori, V.: Discrete duality for de Morgan algebras with operators. Asian-Eur. J. Math. 10(1), 1950010 (2017)

    Article  MathSciNet  Google Scholar 

  16. Hartonas, C.: Duality for lattice-ordered algebras and for normal algebraizable logics. Stud. Log. 58, 403–450 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  17. Hartonas, C.: Order-dual relational semantics for non-distributive propositional logics. Oxf. Log. J. IGPL 25(2), 145–182 (2017)

    MathSciNet  MATH  Google Scholar 

  18. Hartonas, C.: Discrete duality for lattices with modal operators. J. Log. Comput. (2018). https://doi.org/10.1093/logcom/exy030

  19. Hartonas, C.: Order-dual relational semantics for non-distributive propositional logics: a general framework. J. Philos. Log. 47(1), 67–94 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  20. Hartonas, C.: Stone duality for lattice expansions. Oxf. Log. J. IGPL 26(5), 475–504 (2018)

    Article  MathSciNet  Google Scholar 

  21. Hartonas, C.: Lattice logic as a fragment of 2-sorted, residuated modal logic. J. Appl. Non-Class. Logics (2018). https://doi.org/10.13140/RG.2.2.22648.14081

  22. Hartonas, C., Dunn, J.M.: Stone duality for lattices. Algebra Univers. 37, 391–401 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  23. Hartung, G.: A topological representation for lattices. Algebra Univers. 29, 273–299 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  24. Jónsson, B., Tarski, A.: Boolean algebras with operators I. Am. J. Math. 73, 891–939 (1951)

    Article  MathSciNet  MATH  Google Scholar 

  25. Jónsson, B., Tarski, A.: Boolean algebras with operators II. Am. J. Math. 74, 8127–162 (1952)

    MathSciNet  MATH  Google Scholar 

  26. McKinsey, J.C., Tarski, A.: Some theorems about the sentential calculi of Lewis and Heyting. J. Symb. Log. 13(1), 1–15 (1948)

    Article  MathSciNet  MATH  Google Scholar 

  27. Ono, H.: Structural rules and a logical hierarchy. In: Petkov, P.P. (ed.) Proceedings of the Summer School and Conference on Mathematical Logic (Chaika, Bulgaria, 1988), pp. 95–104. Plenum Press, New York (1990)

  28. Ono, H., Komori, Y.: Logics without the contraction rule. J. Symb. Log. 50, 169–201 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  29. Orłowska, E.: Anna Maria Radzikowska, and Ingrid Rewitzky. In: Gabbay, D. (ed.) Dualities for structures of applied logics, Studies in Logic Series. College Publications (2015)

  30. Orłowska, E., Rewitzky, I.: Discrete dualities for Heyting algebras with operators. Fundam. Inform. 81(1–3), 275–295 (2007)

    MathSciNet  MATH  Google Scholar 

  31. Orłowska, E., Rewitzky, I.: Discrete duality and its applications to reasoning with incomplete information. In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 51–56 (2007)

  32. Orłowska, E., Rewitzky, I.: Discrete duality for relation algebras and cylindric algebras. In Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings, pp. 291–305 (2009)

  33. Orłowska, E., Rewitzky, I.: Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. 161(9), 1325–1342 (2010). Foundations of lattice-valued mathematics with applications to algebra and topology

    Article  MathSciNet  MATH  Google Scholar 

  34. Orowska, E., Rewitzky, I.: Duality via truth: semantic frameworks for lattice-based logics. Log. J. IGPL 13(4), 467–490 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  35. Pelaitay, G.: Discrete duality for 3-valued Łukasiewicz-Moisil algebras. Asian-Eur. J. Math. 10(1), 1750003 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  36. Radzikowska, A.M.: Duality via truth for information algebras based on de morgan lattices. Fundam. Inform. 144(1), 45–75 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  37. Sofronie-Stokkermans, V.: Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I. Stud. Log. 64(1), 93–132 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  38. Sofronie-Stokkermans, V.: Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II. Stud. Log. 64(2), 151–172 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  39. Sofronie-Stokkermans, V.: Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving, volume 114 of Studies in Fuzziness and Soft Computing, chapter 3, pp. 59–100 (2003)

  40. Urquhart, A.: A topological representation of lattices. Algebra Univers. 8, 45–58 (1978)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University of Applied Sciences of Thessaly (TEI of Thessaly), Larisa, Greece

    Chrysafis Hartonas

Authors
  1. Chrysafis Hartonas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chrysafis Hartonas.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hartonas, C. Duality Results for (Co)Residuated Lattices. Log. Univers. 13, 77–99 (2019). https://doi.org/10.1007/s11787-018-0217-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-018-0217-4

Mathematics Subject Classification

Keywords

Search

Navigation