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.
Similar content being viewed by others
References
Bezhanishvili, G., ‘Some results in monadic Heyting algebras’, The Tbilisi Symposium on Logic, Language and Computation. Selected Papers. October 1995, Gudauri, Georgia, J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Levy and E. Valduvi (editors), 1997, CSLI, Stanford, p. 251–261.
Bezhanishvili, G., ‘Varieties of monadic Heyting algebras. Part I’, Studia Logica 61 (1998), p. 367–402.
Bezhanishvili, G., ‘Varieties of monadic Heyting algebras. Part II’, 1997, Report #IS-RR-97-0004F, JAIST.
Bezhanishvili, G., ‘Varieties of monadic Heyting algebras. Part III’, 1997, Report #IS-RR-97-0016F, JAIST.
Bezhanishvili, G., An Algebraic Approach to Intuitionistic Modal Logics Over MIPC, PhD thesis, Tokyo Institute of Technology, 1998.
Birkhoff, G., Lattice Theory, Providence, R. I., 1967.
Bull, R. A., ‘MIPC as the formalization of an intuitionist concept of modality’, Journal of Symbolic Logic 31 (1966), p. 609–616.
Burris, S., and H. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, New York-Heidelberg-Berlin, 1981.
Cohn, P., Universal Algebra, Harper & Row Publishers, New York-Evanston and London, 1965.
Engelking, R., General Topology, Warszawa, 1977.
Esakia, L., ‘Topological Kripke models’ (in Russian), Dokl. Akad. Nauk SSSR 214 (1974), p. 298–301.
Esakia, L., ‘Semantical analysis of bimodal systems’ (in Russian), in Logic, Semantic, Methodology, p. 87–99, Metsniereba Press, Tbilisi.
Esakia, L., ‘Modal and superintuitionistic systems’ (in Russian), in Logical Inference, p. 147–172, Nauka Press, Moscow, 1979.
Esakia, L., Heyting Algebras I. Duality Theory (in Russian), Metsniereba Press, Tbilisi, 1985.
Esakia, L., ‘Provability logic with quantifier modalities’ (in Russian), in Intensional Logics and Logical Structure of Theories, p. 4–9, Metsniereba Press, Tbilisi, 1988.
Fisher Servi, G., ‘Semantics for a class of intuitionistic modal calculi’, in M. L. Dalla Chiara (ed.), Italian Studies in the Philosophy of Science, Reidel, Dordrecht, 1980, p. 59–72.
Goldblatt, R., Topoi. The Categorical Analysis of Logic, North-Holland Publishing Company, Amsterdam-New York-Oxford, 1979.
GrÄtzer, G., General Lattice Theory, Akademie-Verlag, Berlin, 1978.
Halmos, P. R., Algebraic Logic, Chelsea Publishing Company, New York, 1962.
Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, New York-Heidelberg-Berlin, 1971.
McKinsey, J. C. C., and A. Tarski, ‘The algebra of topology’, Annals of Mathematics 45 (1944), p. 141–191.
McKinsey, J. C. C., and A. Tarski, ‘On closure elements in closure algebras’, Annals of Mathematics 47 (1946), p. 122–162.
Maltsev, A., Algebraic Systems (in Russian), Nauka Press, Moscow, 1970.
Monteiro, A., and O. Varsavsky, ‘Algebras de Heyting monádicas’, Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca, 1957, p. 52–62.
Ono, H., ‘Kripke models and intermediate logics’, Publications of Research Institute for Mathematical Sciences, Kyoto University 6 (1970), p. 461–476.
Ono, H., ‘Some results on the intermediate logis’, Publications of Research Institute for Mathematical Sciences, Kyoto University 8 (1972), p. 117–130.
Ono, H., ‘On some intuitionistic modal logics’, Publications of Research Institute for Mathematical Sciences, Kyoto University 13 (1977), p. 687–722.
Ono, H., ‘Some problems in intermediate predicate logics’, Reports on Mathematical Logic 21 (1987), p. 55–67
Priestley, H., ‘Ordered topological spaces and the representation of distributive lattices’, Proceedings of the London Mathernatical Society 24 (1972), p. 507–530.
Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa, 1963.
Sambin, G., and V. Vaccaro, ‘Topology and duality in modal logic’, Annals of Pure and Applied Logic 37 (1988), p. 249–296.
Shehtman, V. B., and D. P. Skvortsov, ‘Semantics of non-classical first-order predicate logics’, in Mathematical Logic, edited by P. P. Petkov, Plenum Press, New York, 1990, p. 105–116.
Skvortsov, D. P., and V. B. Shehtman, ‘Maximal Kripke-type semantics for modal and superintuitionistic predicate logics’, Annals of Pure and Applied Logic 63 (1993), p. 69–101.
Sikorski, R., Boolean Algebras, Springer Verlag, Berlin-Goettingen-Heidelberg-New York, 1964.
Suzuki, N.-Y., ‘Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics’, Studia Logica 49 (1990), p. 289–306.
Suzuki, N.-Y., ‘Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics’, Studia Logica 52 (1993), p. 73–94.
Thomason, S. K., ‘Categories of frames for modal logic’, Journal of Symbolic Logic 40 (1975), 439–442.
Rights and permissions
About this article
Cite this article
Bezhanishvili, G. Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62, 21–48 (1999). https://doi.org/10.1023/A:1005173628262
Issue Date:
DOI: https://doi.org/10.1023/A:1005173628262