Varieties of monadic Heyting algebras part II: Duality theory

Studia Logica 62 (1):21-48 (1999)
  Copy   BIBTEX

Abstract

In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,716

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
72 (#318,502)

6 months
3 (#1,183,215)

Historical graph of downloads
How can I increase my downloads?