Skip to main content
SpringerLink
Log in

Discrete Dualities for Double Stone Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras.

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. Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1974)

    Google Scholar 

  2. Becchio D.: ‘Logique trivalente de Łukasiewicz’. Annales Scientifiques de l’Université de Clermont-Ferrand 66, 33–83 (1978)

    Google Scholar 

  3. Birkhoff G.: Lattice Theory, vol. 25 of Am. Math. Soc. Colloquium Publications, 2 edn. AMS, Providence (1948)

    Google Scholar 

  4. Chen C.C., Grätzer G.: ‘Stone lattices II. Structure theorems’. Canadian Journal of Mathematics 21, 895–903 (1969)

    Article  Google Scholar 

  5. Comer S.: ‘On connections between information systems, rough sets, and algebraic logic’. In: Rauszer, C. (eds) Algebraic Methods in Logic and Computer Science, vol. 28 of Banach Center Publications, pp. 117–124. Polish Academy of Science, Warszawa (1993)

    Google Scholar 

  6. Comer S.:‘Perfect extensions of regular double Stone algebras’. Algebra Universalis 34, 96–109 (1995)

    Article  Google Scholar 

  7. Düntsch I.: ‘Rough relation algebras’. Fundamenta Informaticae, 21, 321–331 (1994)

    Google Scholar 

  8. Düntsch I.: ‘A logic for rough sets’. Theoretical Computer Science, 179(1-2), 427–436 (1997)

    Article  Google Scholar 

  9. Düntsch I., Winter M.: ‘Rough relation algebras revisited’. Fundamenta Informaticae 74, 283–300 (2006)

    Google Scholar 

  10. Dzik, W., E. Orłowska, and C.-J. van Alten, ‘Relational Representation Theorems for General Lattices with Negations’, in R. Schmidt (ed.), Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, vol. 4136 of Lecture Notes in Computer Science, Springer, 2006, pp. 162–176.

  11. Grätzer G., Schmidt E.T.: ‘On a problem of M. H. Stone’. Acta Math. Acad. Sci. Hungar. 8, 455–460 (1957)

    Article  Google Scholar 

  12. Grätzer G.: ‘Stone algebras form an equational class’. Journal of the Australian Mathematical Society 9, 308–309 (1969)

    Article  Google Scholar 

  13. Haviar, M., and H. A. Priestley, ‘Canonical extensions of Stone and double Stone algebras: the natural way’, Math. Slovaka 56, 2006.

  14. Jónsson B., Tarski A.: ‘Boolean algebras with operators I’. American Journal of Mathematics 73, 891–939 (1951)

    Article  Google Scholar 

  15. Katriňák T.: ‘Construction of regular double p–algebras’. Bull. Soc. Roy. Sci. Liège 43, 294–301 (1974)

    Google Scholar 

  16. Moisil G.: ‘Recherches sur les logiques non chrysippiennes’. Annales Scientifiques de l’Université de Jassy 26, 431–466 (1940)

    Google Scholar 

  17. Moisil, G., Essais sur les logiques non chrysippiennes, Editions de l’Academie de la Republique Socialiste de Roumanie, 1978.

  18. Orłowska, E., and I. Rewitzky, ‘Discrete duality for concept lattices with negations’, 2011. Manuscript.

  19. Orłowska E., Rewitzky I.: ‘Duality via Truth: Semantic frameworks for lattice–based logics’. Logic Journal of the IGPL, 13(4), 467–490 (2005)

    Article  Google Scholar 

  20. Orłowska, E., and I. Rewitzky, ‘Discrete duality and its applications to reasoning with incomplete information’, in Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms, vol. 4585 of Lecture Notes in Artificial Intelligence, Springer, 2007, pp. 51–56.

  21. Orłowska, E., and I. Rewitzky, ‘Discrete Duality for Relation Algebras and Cylindric Algebras’, in R. Berghammer, A. Jaoua, and B. Möller (eds.), 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, vol. 5827 of Lecture Notes in Computer Science, Springer, 2009, pp. 291–305.

  22. Priestley H.A.: ‘Stone lattice: a topological approach’. Fundamenta Mathematicae 84, 127–143 (1974)

    Google Scholar 

  23. Priestley H.A.: ‘Representation of distributive lattices by means of ordered Stone spaces’. Bull. London Math. Soc. 2, 186–190 (1970)

    Article  Google Scholar 

  24. Rauszer C.: ‘Semi–Boolean algebras and their applications to intuitionistic logic with dual operations’. Fundamenta Mathematicae 83, 219–249 (1974)

    Google Scholar 

  25. Varlet J.C.: ‘Algèbres des Łukasiewicz Trivalentes’. Bull. Soc. Roy. Sci. Liège 36, 399–408 (1968)

    Google Scholar 

  26. Varlet J.C.: ‘A regular variety of type \({\langle 2, 2, 1, 1, 0, 0 \rangle}\)’. Algebra Universalis 2, 218–223 (1972)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept of Computer Science, Brock University, St Catharines, ON, L2S 3A1, Canada

    Ivo Düntsch

  2. Institute of Telecommunications, Szachowa 1, 04–894, Warszawa, Poland

    Ewa Orłowska

Authors
  1. Ivo Düntsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ewa Orłowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivo Düntsch.

Additional information

Dedicated to Ryszard Wójcicki on the occasion of his 80th birthday

Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski

Rights and permissions

Reprints and permissions

About this article

Cite this article

Düntsch, I., Orłowska, E. Discrete Dualities for Double Stone Algebras. Stud Logica 99, 127 (2011). https://doi.org/10.1007/s11225-011-9349-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-011-9349-8

Keywords

Search

Navigation