Skip to main content
SpringerLink
Log in

Bitopological duality for algebras of Fitting’s logic and natural duality extension

  • Original Article
  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract

In this paper, we investigate a bitopological duality for algebras of Fitting’s multi-valued logic. We also extend the natural duality theory for \(\mathbb {ISP_I}(\mathcal {L})\) by developing a duality for \(\mathbb {ISP}(\mathcal {L})\), where \(\mathcal {L}\) is a finite algebra in which underlying lattice is bounded distributive.

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.

Similar content being viewed by others

References

  1. Abramsky, S.: A Cook’s Tour of the Finitary Non-Well-Founded Sets. Citeseer

  2. Abramsky, S.: Domain theory in logical form. Ann. Pure Appl. Logic 51(1–2), 1–77 (1991)

    Article  MathSciNet  Google Scholar 

  3. Adámek, J.H., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories, 2nd edn. Dover Publications, Mineola, New York (2009)

    MATH  Google Scholar 

  4. Adnadzhevich, D.: Bicompactness of bitopological spaces. J. Math. Sci. 37(3), 1059–1063 (1987)

    Article  Google Scholar 

  5. Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., Kurz, A.: Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20(3), 359–393 (2010)

    Article  MathSciNet  Google Scholar 

  6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)

    MATH  Google Scholar 

  7. Bonsangue, M.M.: Topological Dualities in Semantics. Vrije Universiteit Amsterdam (1996)

  8. Brink, C., Rewitsky, I.: A Paradigm for Program Semantics: Power Structures and Duality. Center for the Study of Language and Inf (2001)

  9. Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist, vol. 57. Cambridge University Press, Cambridge (1998)

    MATH  Google Scholar 

  10. Davey, B.A., Werner, H.: Dualities and equivalences for varieties of algebras. Contributions to lattice theory (Szeged, 1980),( Huhn, AP., and Schmidt, ET., eds) Colloq. Math. Soc. J anos Bolyai, Vol. 33, 101-275, (1983)

  11. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)

    Book  Google Scholar 

  12. Epstein, G.: The lattice theory of Post algebras. Trans. Am. Math. Soc. 95(2), 300–317 (1960)

    Article  MathSciNet  Google Scholar 

  13. Fitting, M.: Many-valued modal logics. Fundam. Inf. 15(3–4), 235–254 (1991)

    MathSciNet  MATH  Google Scholar 

  14. Fitting, M.: Many-valued modal logics II. Fundam. Inf. 17(1–2), 55–73 (1992)

    MathSciNet  MATH  Google Scholar 

  15. Hansoul, G.: A duality for Boolean algebras with operators. Algebra Universalis 17(1), 34–39 (1983)

    Article  MathSciNet  Google Scholar 

  16. Esakia, L.: Heyting Algebras: Duality Theory, vol. 50. Springer, Berlin (2019)

    Book  Google Scholar 

  17. Hu, T.K.: On the topological duality for primal algebra theory. Algebra Universalis 1(1), 152–154 (1971)

    Article  MathSciNet  Google Scholar 

  18. Johnstone, P.T.: Stone Spaces, vol. 3. Cambridge University Press, Cambridge (1982)

    MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  20. Jung, A., Moshier, M.A.: On the bitopological nature of Stone duality, vol. 13. School of Computer Science Research Reports-University of Birmingham CSR, (2006)

  21. Kelly, J.C.: Bitopological spaces. Proceedings of the London Mathematical Society. 3(1), 71–89 (1963)

  22. Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theor. Comput. Sci. 327(1–2), 109–134 (2004)

    Article  MathSciNet  Google Scholar 

  23. Lauridsen, F.M.: Bitopological Vietoris spaces and positive modal logic. Master thesis, ILLC Publications, Technical Notes (X) Series. Report no. X-2015-01(2015)

  24. Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer, Berlin (1998)

    MATH  Google Scholar 

  25. Maruyama, Y.: Universal algebraic extensions of Stone dualities for distributive lattices and Heyting algebras. Citeseer

  26. Maruyama, Y.: Algebraic study of lattice-valued logic and lattice-valued modal logic. Lecture Notes in Computer science 5378, 172–186 (2009)

    MathSciNet  MATH  Google Scholar 

  27. Maruyama, Y.: Dualities for algebras of Fitting’s many-valued modal logics. Fundamenta Informaticae 106(2–4), 273–294 (2011)

    Article  MathSciNet  Google Scholar 

  28. Maruyama, Y.: Natural duality, modality, and coalgebra. J. Pure Appl. Algebra Nat. Duality Modal. Coalgebra. 216(3), 565–580 (2012)

  29. Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bulletin of the London Mathematical Society 2(2), 186–190 (1970)

    Article  MathSciNet  Google Scholar 

  30. Ray, K.S., Das, L.K.: Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic. arXiv preprint arXiv:1808.06464 (2018)

  31. Salbany, S.: Bitopological Spaces, Compactifications and Completions, vol. 1. Math. Monographs, Univ, Cape Town (1974)

    MATH  Google Scholar 

  32. Sankappanavar, H.P., Burris, S.: A course in universal algebra. Graduate Texts Math. vol. 78, 1981

  33. Smyth, M.B.: Power domains and predicate transformers: A topological view. Languages, and Programming. Springer, International Colloquium on Automata (1983)

  34. Stone, M.H.: Topological Representation of Distributive Lattices and Brouwerian Logics. Časopis pro pěsiování matematiky a fysiky 67, 1–25 (1937)

    MATH  Google Scholar 

  35. Stone, M.H.: The representation of Boolean algebras. Bull. Am. Math. Soc. 44(12), 807–816 (1938)

    Article  MathSciNet  Google Scholar 

  36. Teheux, B.: A duality for the algebras of a Łukasiewicz n+ 1-valued modal system. Stud. Logica 87(1), 13–36 (2007)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ECSU, Indian Statistical Institute, Kolkata, India

    Litan Kumar Das & Kumar Sankar Ray

Authors
  1. Litan Kumar Das
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kumar Sankar Ray
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Litan Kumar Das.

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

Das, L.K., Ray, K.S. Bitopological duality for algebras of Fitting’s logic and natural duality extension. Acta Informatica 58, 571–584 (2021). https://doi.org/10.1007/s00236-020-00384-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00236-020-00384-5

Search

Navigation