Studia Logica

, Volume 94, Issue 2, pp 245–269 | Cite as

Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory

Article

Abstract

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n-valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the n-valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics.

Keywords

fuzzy topology Stone duality Jónsson-Tarski duality algebraic logic many-valued logic modal logic Kripke semantics compactness theorem 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Blackburn, P., M. de Rijke, and Y. Venema, Modal logic, CUP, 2001.Google Scholar
  2. 2.
    Boicescu, V., A. Filipoiu, G. Georgescu, and S. Rudeanu, Łukasiewicz-Moisil algebras, North-Holland Publishing Co., 1991.Google Scholar
  3. 3.
    Chagrov, A., and M. Zakharyaschev, Modal logic, OUP, 1997.Google Scholar
  4. 4.
    Chang C.C.: ‘Algebraic analysis of many-valued logics’. Trans. Amer. Math. Soc. 88, 476–490 (1958)CrossRefGoogle Scholar
  5. 5.
    Chang C.L.: ‘Fuzzy topological spaces’. J. Math. Anal. Appl. 24, 182–190 (1968)CrossRefGoogle Scholar
  6. 6.
    Cignoli, R. L.O., I.M. L. D’Ottaviano, and D. Mundici, Algebraic foundations of many-valued reasoning, Kluwer Academic Publishers, 1999.Google Scholar
  7. 7.
    Cignoli R.L.O., Dubuc E.J., Mundici D.: ‘Extending Stone duality to multisets and locally finite MV-algebras’. J. Pure Appl. Algebra 189, 37–59 (2004)CrossRefGoogle Scholar
  8. 8.
    Di Nola A., Niederkorn P.: ‘Natural dualities for varieties of BL-algebras’. Arch. Math. Log. 44, 995–1007 (2005)CrossRefGoogle Scholar
  9. 9.
    Fitting M.C.: ‘Many-valued modal logics’. Fund. Inform. 15, 235–254 (1991)Google Scholar
  10. 10.
    Fitting M.C.: ‘Many-valued modal logics II’. Fund. Inform. 17, 55–73 (1992)Google Scholar
  11. 11.
    Goguen J.A.: ‘L-fuzzy sets’. J. Math. Anal. Appl. 18, 145–174 (1967)CrossRefGoogle Scholar
  12. 12.
    Goguen J.A.: ‘The fuzzy Tychonoff theorem’. J. Math. Anal. Appl. 43, 734–742 (1973)CrossRefGoogle Scholar
  13. 13.
    Gottwald, S., A treatise on many-valued logics, Research Studies Press, 2001.Google Scholar
  14. 14.
    Grigolia, R., ‘Algebraic analysis of Łukasiewicz-Tarski n-valued logical systems’, Selected papers on Łukasiewicz sentential calculi, Wroclaw, 1977, pp. 81–91.Google Scholar
  15. 15.
    Hájek, P., Metamathematics of fuzzy logic, Kluwer Academic Publishers, 1998.Google Scholar
  16. 16.
    Hansoul G.: ‘A duality for Boolean algebras with operators’. Algebra Universalis 17, 34–49 (1983)CrossRefGoogle Scholar
  17. 17.
    Johnstone, P.T., Stone spaces, CUP, 1986.Google Scholar
  18. 18.
    Leustean L.: ‘Sheaf representations of BL-algebras’. Soft Computing 9, 897–909 (2005)CrossRefGoogle Scholar
  19. 19.
    Liu, Y.M., and M.K. Luo, Fuzzy topology, World Scientific, 1998.Google Scholar
  20. 20.
    Łukasiewicz J., Tarski A.: ‘Untersuchungen über den Assagenkalkul’. Compt. Rend. des Séances Société des Sciences et Lettres de Varsovie Classe III 23, 3–50 (1930)Google Scholar
  21. 21.
    Malinowski, G., Many-valued logics, Clarendon Press, 1993.Google Scholar
  22. 22.
    Maruyama Y.: ‘Algebraic study of lattice-valued logic and lattice-valued modal logic’. Lecture Notes in Computer Science 5378, 172–186 (2009)Google Scholar
  23. 23.
    Maruyama Y.: ‘A duality for algebras of lattice-valued modal logic’. Lecture Notes In Computer Science 5514, 281–295 (2009)CrossRefGoogle Scholar
  24. 24.
    Niederkorn P.: ‘Natural dualities for varieties of MV-algebras’. J. Math. Anal. Appl. 255, 58–73 (2001)CrossRefGoogle Scholar
  25. 25.
    Rodabaugh, S.E., and E.P. Klement (eds.), Topological and algebraic structures in fuzzy sets, Kluwer Academic Publishers, 2003.Google Scholar
  26. 26.
    Sambin G., Vaccaro V.: ‘Topology and duality in modal logic’. Ann. Pure Appl. Logic 37, 249–296 (1988)CrossRefGoogle Scholar
  27. 27.
    Sostak A.P.: ‘Basic structures of fuzzy topology’. Journal of Mathematical Sciences 78, 662–701 (1996)CrossRefGoogle Scholar
  28. 28.
    Stone M.H.: ‘The representation of Boolean algebras’. Bull. Amer. Math. Soc. 44, 807–816 (1938)CrossRefGoogle Scholar
  29. 29.
    Teheux B.: ‘A duality for the algebras of a Łukasiewicz n + 1-valued modal system’. Studia Logica 87, 13–36 (2007)CrossRefGoogle Scholar
  30. 30.
    Zadeh L.A.: ‘Fuzzy sets’. Information and Control 8, 338–353 (1965)CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of Humanistic Informatics, Graduate School of LettersKyoto UniversitySakyo, KyotoJapan

Personalised recommendations