Monadic distributive lattices and monadic augmented Kripke frames

zbMATH Open1394.06014arXiv1203.6059MaRDI QIDQ4583754FDOQ4583754

Authors: Aldo V. Figallo, Inés Pascual, Alicia Ziliani 

Publication date: 3 September 2018

Abstract: In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First, we extended the duality obtained by Cignoli for Q-distributive lattices to m-lattices. This new duality allows us to describe in a simple way the subdirectly irreducible algebras in this variety and in particular, to characterize the finite ones. Next, we introduce the category mKF whose objects are monadic augmented Kripke frames and whose morphisms are increasing continuous functions verifying certain additional conditions and we prove that it is equivalent to the one obtained above. Finally, we show that the category of perfect augmented Kripke frames given by Bezhanishvili for monadic Heyting algebras is a proper subcategory of mKF.

Full work available at URL: https://arxiv.org/abs/1203.6059

Recommendations

• Monadic Distributive Lattices
• Frontal operators in distributive lattices with a generalized implication.
• scientific article; zbMATH DE number 7158384
• Varieties of monadic Heyting algebras. II: Duality theory
• Topological spaces of monadic MV-algebras

zbMATH Keywords

Priestley spacesaugmented Kripke frames\(q\)-distributive latticesmonadic distributive lattices

Mathematics Subject Classification ID

Frames, locales (06D22) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20) Other generalizations of distributive lattices (06D75)

Cited In (2)

• Algebraic representation of frame-valued continuous lattices via the open filter monad
• Monadic Distributive Lattices

This page was built for publication: Monadic distributive lattices and monadic augmented Kripke frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583754)