Skip to main content
SpringerLink
Log in

A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research.

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. Blackburn Patrick, Maarten de Rijke, Yde Venema (2001) Modal logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge

    Google Scholar 

  2. Burris Stanley, Sankappanavar H.P. (1981) A course in universal algebra, vol. 78 of Graduate Texts in Mathematics. Springer-Verlag, New York

    Google Scholar 

  3. Chagrov Alexander, Michael Zakharyaschev (1997) Modal logic, vol. 35 of Oxford Logic Guides. Oxford Science Publications, The Clarendon Press Oxford University Press, New York

    Google Scholar 

  4. Chang C.C. (1958) ‘Algebraic analysis of many valued logics’, Trans. Amer. Math. Soc. 88: 467–490

    Article  Google Scholar 

  5. Chang C.C. (1959) ‘A new proof of the completeness of the Łukasiewicz axioms’, Trans. Amer. Math. Soc. 93: 74–80

    Article  Google Scholar 

  6. Cignoli R. (1996) ‘Natural dualities for the algebras of Łukasiewicz finite-valued logics’, Bull. Symbolic Logic 2(2): 218

    Google Scholar 

  7. Cignoli Roberto, Eduardo J. Dubuc, Daniele Mundici (2004) ‘Extending Stone duality to multisets and locally finite MV-algebras’, J. Pure Appl. Algebra 189(1-3): 37–59

    Article  Google Scholar 

  8. Cignoli Roberto L.O., Itala M.L. D’Ottaviano, Daniele Mundici (2000) Algebraic foundations of many-valued reasoning, vol. 7 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

  9. Clark David M., Brian A. Davey (1998) Natural dualities for the working algebraist, vol 57. of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge

    Google Scholar 

  10. Esakia Leo, Revaz Grigolia (1977) ‘The criterion of Brouwerian and closure algebras to be finitely generated’, Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 6(2): 46–52

    Google Scholar 

  11. Fitting Melvin (1992) ‘Many-valued modal logics. II’, Fund. Inform. 17(1-2): 55–73

    Google Scholar 

  12. Fitting Melvin (1995) ‘Tableaus for many-valued modal logic’, Studia Logica 55(1): 63–87

    Article  Google Scholar 

  13. Fitting M. (1991) ‘Many-valued modal logics’, Fund. Inform. 15(3-4): 235–254

    Google Scholar 

  14. Gehrke Mai, Bjarni Jónsson (2004) ‘Bounded distributive lattice expansions’, Math. Scand. 94(1): 13–45

    Google Scholar 

  15. Gehrke Mai, Hideo Nagahashi, Yde Venema (2005) ‘A Sahlqvist theorem for distributive modal logic’, Ann. Pure Appl. Logic 131(1-3): 65–102

    Article  Google Scholar 

  16. Gottwald Siegfried (2001) A treatise on many-valued logics, vol. 9 of Studies in Logic and Computation. Research Studies Press Ltd., Baldock

    Google Scholar 

  17. Hájek Petr (1998) Metamathematics of fuzzy logic, vol. 4 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

  18. Hansoul G. (1983) ‘A duality for Boolean algebras with operators’, Algebra Universalis 17(1): 34–49

    Article  Google Scholar 

  19. Hansoul, G., and B. Teheux, ‘Completeness results for many-valued Łukasiewicz modal systems and relational semantics’, arXiv:math.LO/0612542, 2006.

  20. Jónsson Bjarni, Alfred Tarski (1951) ‘Boolean algebras with operators. I’, Amer. J. Math. 73: 891–939

    Article  Google Scholar 

  21. Jónsson Bjarni, Alfred Tarski (1952) ‘Boolean algebras with operators. II’, Amer. J. Math. 74: 127–162

    Article  Google Scholar 

  22. Kheltent, M., and G. Hansoul, ‘Stone-\(\tilde C\) ech compactifications of topological structures’, manuscript.

  23. Kripke Saul A. (1963) ‘Semantical analysis of modal logic. I. Normal modal propositional calculi’, Z. Math. Logik Grundlagen Math. 9: 67–96

    Article  Google Scholar 

  24. Kupke, Clemens, Alexander Kurz, and Dirk Pattinson, ‘Algebraic semantics for coalgebraic logics’, in Proceedings of the Workshop on Coalgebraic Methods in Computer Science, vol. 106 of Electron. Notes Theor. Comput. Sci., Elsevier, Amsterdam, 2004, pp. 219–241 (electronic).

  25. Kupke Clemens, Alexander Kurz, Yde Venema (2004) ‘Stone coalgebras’, Theoret. Comput. Sci. 327(1-2): 109–134

    Article  Google Scholar 

  26. Łukasiewicz Jan (1920) ‘O logice trójwartościowej’, Ruch Filozoficzny 5: 170–171

    Google Scholar 

  27. Łukasiewicz, Jan, Selected works, North-Holland Publishing Co., Amsterdam, 1970. Edited by L. Borkowski, Studies in Logic and the Foundations of Mathematics.

  28. Łukasiewicz Jan, Alfred Tarski (1930) ‘Untersuchungen über den ausagenkalkül’, Compte Rendus Séances Société des Sciences et Lettres Varsovie 23: 30–50

    Google Scholar 

  29. Martínez N.G. (1990) ‘The Priestley duality for Wajsberg algebras’, Studia Logica 49(1): 31–46

    Article  Google Scholar 

  30. McKinsey J.C.C. (1941) ‘A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology’, J. Symbolic Logic 6: 117–134

    Article  Google Scholar 

  31. Niederkorn Philippe (2001) ‘Natural dualities for varieties of MV-algebras. I’, J. Math. Anal. Appl. 255(1): 58–73

    Article  Google Scholar 

  32. Niederkorn, Philippe, Algebraic aspects of fuzzy logic: BL-algebras and their hoop subreducts, Ph.D. thesis, University of Liège, 2002.

  33. Ostermann Pascal (1988) ‘Many-valued modal propositional calculi’, Z. Math. Logik Grundlag. Math. 34(4): 343–354

    Article  Google Scholar 

  34. Rescher, Nicolas, Many-valued Logic, McGraw-Hill, 1969.

  35. Rosser, J. Barkley, and Atwell R. Turquette, Many-valued logics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951.

  36. Sambin Giovanni, Virginia Vaccaro (1988) ‘Topology and duality in modal logic’, Ann. Pure Appl. Logic, 37(3): 249–296

    Article  Google Scholar 

  37. Venema Yde (2004) ‘A dual characterization of subdirectly irreducible BAOs’, Studia Logica 77(1): 105–115

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Liège, B-4000, Liège, Belgium

    Bruno Teheux

Authors
  1. Bruno Teheux
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bruno Teheux.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Teheux, B. A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System. Stud Logica 87, 13–36 (2007). https://doi.org/10.1007/s11225-007-9074-5

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-007-9074-5

Keywords

Search

Navigation