Varieties of monadic heyting algebras part II: Duality theory

被引：11
作者：
Bezhanishvili G. [1 ]
机构：
[1] Institute of Cibernetics, Georgian Academy of Sciences, Tbilisi 86
来源：
Studia Logica | 1999年 / 62卷 / 1期
关键词：
Augmented kripke frames; Kripke bundles; Monadic heyting algebras; Ono frames; Topological augmented kripke frames;
D O I：
10.1023/A:1005173628262
中图分类号：
学科分类号：
摘要：
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 effetiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC. © 1999 Khluwer Academic Publishers.
引用
收藏
页码：21 / 48
页数：27
相关论文
共 37 条
[1]  
Bezhanishvili G., Some results in monadic Heyting algebras, The Tbilisi Symposium on Logic, Language and Computation. Selected Papers. October 1995, Gudauri, Georgia, pp. 251-261
[2]  
Bezhanishvili G., Varieties of monadic Heyting algebras. Part i, Studio. Logica, 61, pp. 367-402, (1998)
[3]  
Bezhanishvili G., Varieties of Monadic Heyting Algebras. Part II
[4]  
Bezhanishvili G., Varieties of Monadic Heyting Algebras. Part III
[5]  
Bezhanishvili G., An Algebraic Approach to Intuitonistic Modal Logics over MIPC, (1998)
[6]  
Birkhoff G., Lattice. Theory, (1967)
[7]  
Bull R.A., MIPC as the formalization of an intuitionist concept of modality, Journal of Symbolic Logic, 31, pp. 609-616, (1966)
[8]  
Burris S., Sankappanavar H., A Course in Universal Algebra, Graduate Texts in Mathematics, 78, (1981)
[9]  
Cohn P., Universal Algebra, (1965)
[10]  
Engelking R., General Topology, (1977)
1234