Skip Navigation


Logic Journal of IGPL Advance Access originally published online on September 26, 2007
Logic Journal of IGPL 2007 15(5-6):535-551; doi:10.1093/jigpal/jzm039
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Figallo, A. V.
Right arrow Articles by Ziliani, A.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Monadic Distributive Lattices

Aldo V. Figallo 1, Inés Pascual and Alicia Ziliani

Departamento de Matemática, Universidad Nacional del Sur, 8000 Bahía Blanca, Argentina & Instituto de Ciencias Básicas, Universidad Nacional de San Juan, 5400 San Juan, Argentina. E-mails: avfigallo{at}gmail.com, aziliani{at}criba.edu.ar, inespascual756{at}hotmail.com

The purpose of this paper is to investigate the variety of algebras, which we call monadic distributive lattices, as a natural generalization of monadic Heyting algebras [16]. It is worth mentioning that the latter is a proper subvariety of the first one, as it is shown in a simple example. Our main interest is the characterization of simple and subdirectly irreducible monadic distributive lattices. In order to do this, a duality theory for these algebras is developed. The duality enables us to describe the lattice of congruences on monadic distributive lattices. Finally, our attention is focused upon the relationship between the category of dual spaces associatted with these algebras and the category of perfect Ono frames considered by Bezhanishvili in order to represent monadic Heyting algebras.

Key Words: Bounded distributive lattices • Priestley spaces • congruence relations • subdirectly irreducible algebras.

This work was partially supported by the Universidad Nacional del Sur, Bahía Blanca, Argentina.



References

    1  Balbes R, Dwinger P. Distributive lattices (1974) Columbia: University of Missouri Press.

    2  Bezhanishvili G. Varieties of monadic Heyting algebras. Part I. Studia Logica (1998) 3(61):367–402.

    3  Bezhanishvili G. arieties of monadic Heyting algebras. Part II: Duality theory. Studia Logica (1998) 62:1–28.[CrossRef]

    4  Bezhanishvili G. Varieties of monadic Heyting algebras. Part III. Studia Logica (2000) 2(64):215–256.

    5  Birkhoff G. Lattice theory. Amer. Math. Soc. Col Pub (1967) 25 3rd ed. Providence.

    6  Boicescu V, Filipoiu A, Georgescu G, Rudeanu S. Lukasiewicz–Moisil Algebras (1991) North – Holland: Amsterdam.

    7  Cignoli R. Quantifiers on distributive lattices. Discrete Math. (1991) 96:183–197.[CrossRef]

    8  Figallo AV, Ziliani A. Monadic distributive lattices. Preprints del Instituto de Ciencias Básicas, Area Matemática, Universidad Nacional de San Juan (1997) 3(1):19–35.

    9  Figallo AV, Ziliani A. Notes on monadic Heyting algebras. Preprints del Instituto de Ciencias Básicas, Area Matemática, Universidad Nacional de San Juan (1997) 2(2):11–22.

    10  Georgescu G. A representation theorem for polyadic Heyting algebras. Algebra Universalis (1982) (14):197–209.[CrossRef][Web of Science]

    11  Goldblatt R. Varieties of complex algebras. Ann. of Pure and Applied Logic (1989) 44:173–242.[CrossRef]

    12  Halmos P. Algebraic logic I. Monadic Boolean algebras. Composition Math. (1955) 12:217–249.

    13  Kotas J, Pieczkowski A. On a generalized cylindrical algebra and intuitionistic logic. Studia Logica (1966) (XVIII):73–80.

    14  Monk J. Polyadic Heyting algebras. Notices Amer. Math. Soc. (1966) 7(735).

    15  Monteiro A. Axiomes independants pour les algebres de Brouwer. Rev. de la Unión Matemática Argentina (1955) 17:149–160.

    16  Monteiro A, Varsavsky O. Algebras de Heyting monádicas. (1957) 52–62. Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca, (A French translation is published as Notas de Lógica Matemática 1, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca, (1974), 1–16.

    17  Priestley H. Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. (1970) 2:186–190.[Free Full Text]

    18  Priestley H. Ordered topological spaces and the representation of distributive lattices. Proc. London Math. Soc. (1972) 3(4):507–530.

    19  Priestley H. Ordered sets and duality for distributive lattices. Ann. Discrete Math. (1984) 23:39–60.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Figallo, A. V.
Right arrow Articles by Ziliani, A.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?