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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,491

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
53 (#264,575)

6 months
3 (#430,134)

Historical graph of downloads
How can I increase my downloads?