Varieties of Monadic Heyting Algebras Part II: Duality Theory

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.

[1]  Nobu-Yuki Suzuki.  Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics , 1993, Stud Logica.

[2]  H. Ono.  Kripke Models and Intermediate Logics , 1970 .

[3]  Steven K. Thomason.  Categories of Frames for Modal Logic , 1975, J. Symb. Log..

[4]  D. P. Skvortsov,et al.  Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics , 1993, Ann. Pure Appl. Log..

[5]  H. Ono.  On Some Intuitionistic Modal Logics , 1977 .

[6]  George Gratzer,et al.  Universal Algebra , 1979 .

[7]  Guram Bezhanishvili,et al.  Varieties of Monadic Heyting Algebras. Part I , 1998, Stud Logica.

[8]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[9]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[10]  Hiroakira Ono.  Some Results on the Intermediate Logics , 1972 .

[11]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[12]  Valentin B. Shehtman,et al.  Semantics of Non-Classical First Order Predicate Logics , 1990 .

[13]  R. Goodstein.  Boolean algebra , 1963 .

[14]  Giovanni Sambin,et al.  Topology and duality in modal logic , 1988, Ann. Pure Appl. Log..

[15]  Bezhanishvili Guram.  An algebraic approach to intuitionistic modal logics over MIPC(MIPCを含む直観主義様相論理に対する代数的方法) , 1998 .

[16]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[17]  G. Grätzer.  General Lattice Theory , 1978 .

[18]  R. A. Bull.  MIPC as the Formalisation of an Intuitionist Concept of Modality , 1966, J. Symb. Log..

[19]  A. Tarski,et al.  On Closed Elements in Closure Algebras , 1946 .

[20]  S. Lane.  Categories for the Working Mathematician , 1971 .

[21]  Gisèle Fischer Servi,et al.  Semantics for a Class of Intuitionistic Modal Calculi , 1980 .

[22]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[23]  Nobu-Yuki Suzuki.  Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics , 1990, Stud Logica.