Monadic distributive lattices and monadic augmented Kripke frames

Details Monadic distributive lattices and monadic augmented Kripke frames Monadic distributive lattices and monadic augmented Kripke frames

2012-03-27

arxiv.org/abs/1203.6059v1

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Monadic distributive lattices and monadic augmented Kripke frames does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Monadic distributive lattices and monadic augmented Kripke frames, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Monadic distributive lattices and monadic augmented Kripke frames will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-641382