Varieties of Monadic Heyting Algebras Part II: Duality Theory
Author: Bezhanishvili, G.
Source: Studia Logica, Volume 62, Number 1, January 1999 , pp. 21-48(28)
Abstract:In this paper we continue the investigation of monadic Heyting algebras which we started in . 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.
Document Type: Regular Paper
Affiliations: Institute of Cibernetics Georgian Academy of Sciences S. Euli 5 Tbilisi 86, Georgia email@example.com
Publication date: January 1, 1999