Skip to main content
SpringerLink
Log in

Varieties of Monadic Heyting Algebras. Part I

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper deals with the varieties of monadic Heyting algebras, algebraic models of intuitionistic modal logic MIPC. We investigate semisimple, locally finite, finitely approximated and splitting varieties of monadic Heyting algebras as well as varieties with the disjunction and the existence properties. The investigation of monadic Heyting algebras clarifies the correspondence between intuitionistic modal logics over MIPC and superintuitionistic predicate logics and provides us with the solutions of several problems raised by Ono [35].

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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.

    Google Scholar 

  2. Bezhanishvili, G., ‘Varieties of monadic Heyting algebras. Part II: Duality theory’ (to appear in Studia Logica).

  3. Bezhanishvili, G., ‘Varieties of monadic Heyting algebras. Part III.’, 1997, Report # IS-RR-97-0016F, JAIST.

  4. Bezhanishvili, G., ‘Splitting monadic Heyting algebras’, 1997, Report # IS-RR-97-0044F, JAIST.

  5. Birkhoff, G., Lattice Theory, Providence, R. I., 1967.

  6. Blok, W. J., ‘On the degree of incompleteness in modal logic and the covering relation in the lattice of modal logics’, Report 78-07, Dept. of Math., University of Amsterdam, 1978.

  7. Blok, W. J., ‘The lattice of modal logics: an algebraic investigation’, Journal of Symbolic Logic 45 (1980), p. 221–236.

    Google Scholar 

  8. Bull, R. A., ‘MIPC as the formalization of an intuitionist concept of modality’, Journal of Symbolic Logic 31 (1966), p. 609–616.

    Google Scholar 

  9. Burris, S., and H. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, New York-Heidelberg-Berlin, 1981.

    Google Scholar 

  10. Cohn, P., Universal Algebra, Harper & Row Publishers, New York-Evanston and London, 1965.

    Google Scholar 

  11. Esakia, L., ‘Modal and superintuitionistic systems’ (in Russian), in Logical Inference, p. 147–172, Nauka Press, Moscow, 1979.

    Google Scholar 

  12. Esakia, L. Heyting Algebras I. Duality Theory (in Russian), Metsniereba Press, Tbilisi, 1985.

    Google Scholar 

  13. Fisher Servi, G., ‘On modal logics with an intuitionistic base’, Studia Logica 36 (1977), 141–149.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Fisher Servi, G., ‘Axiomatizations for some intuitionistic modal logics’, Rend. Sem. Math. Univers. Polit. 42, 1984, p. 179–194.

    Google Scholar 

  16. Goldblatt, R., Topoi. The Categorical Analysis of Logic, North-Holland Publishing Company, Amsterdam-New York-Oxford, 1979.

    Google Scholar 

  17. GrÄtzer, G., General Lattice Theory, Akademie-Verlag, Berlin, 1978.

    Google Scholar 

  18. Halmos, P. R., Algebraic Logic, Chelsea Publishing Company, New York, 1962.

    Google Scholar 

  19. Jankov, V., ‘Relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures’ (in Russian), Dokl. Akad. Nauk SSSR 151 (1963), p. 1293–1294.

    Google Scholar 

  20. Jankov, V., ‘Constructing a sequence of strongly independent superintuitionistic propositional calculi’ (in Russian), Dokl. Akad. Nauk SSSR 181 (1968), p. 33–34.

    Google Scholar 

  21. Jankov, V., ‘Conjuctively indecomposable formulas in propositional calculi’ (in Russian), Izv. Akad. Nauk SSSR 33 (1969), p. 18–38.

    Google Scholar 

  22. Kracht, M., ‘An almost general splitting theorem for modal logic’, Studia Logica 49 (1990), p. 455–470.

    Google Scholar 

  23. Kracht, M., ‘Prefinitely axiomatizable modal and intermediate logics’, Mathematical Logic Quarterly 39 (1993), p. 301–322.

    Google Scholar 

  24. Kracht, M., ‘Splittings and the finite model property’, Journal of Symbolic Logic 58 (1993), p. 139–157.

    Google Scholar 

  25. Kuznetsov, A., and V. Gerciu, ‘Superintuitionistic logics and finite approximability’ (in Russian), Dokl. Akad. Nauk SSSR 195 (1970), p. 1029–1032.

    Google Scholar 

  26. Mac Lane, S., ‘Categories for the Working Mathematician’, Springer-Verlag, New York-Heidelberg-Berlin, 1971.

    Google Scholar 

  27. Maksimova, L., ‘On maximal intermediate logics with the disjunction property’, Studia Logica 45 (1986), p. 69–75.

    Google Scholar 

  28. Maltsev, A., Algebraic Systems (in Russian), Nauka Press, Moscow, 1970.

    Google Scholar 

  29. McKenzie, R., ‘Equational bases and nonmodular lattice varieties’, Transactions of the American Mathematical Society 174 (1972), p. 1–43.

    Google Scholar 

  30. Monteiro, A., ‘Normalidad de las álgebras de Heyting monádicas’, Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca, 1957, p. 50–51.

  31. 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.

  32. Ono, H., ‘Some results on the intermediate logis’, Publications of Research Institute for Mathematical Sciences, Kyoto University 8 (1972), p. 117–130.

    Google Scholar 

  33. Ono, H., ‘On some intuitionistic modal logics’, Publications of Research Institute for Mathematical Sciences, Kyoto University 13 (1977), p. 687–722.

    Google Scholar 

  34. Ono, H., ‘Model extension theorem and Craig's interpolation theorem for intermediate predicate logics’, Reports on Mathematical Logic 15 (1983), p. 41–58.

    Google Scholar 

  35. Ono, H., ‘Some problems in intermediate predicate logics’, Reports on Mathematical Logic 21 (1987), p. 55–67.

    Google Scholar 

  36. Ono, H., and N.-Y. Suzuki, ‘Relations between intuitionistic modal logics and intermediate predicate logics’, Reports on Mathematical Logic 22 (1988), p. 65–87.

    Google Scholar 

  37. Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa, 1963.

    Google Scholar 

  38. Rautenberg, W., ‘Splitting lattice of logics’, Archiv of Math. Logic 1980, p. 155–159.

  39. Suzuki, N.-Y., ‘An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics’, Studia Logica 48 (1989), p. 141–155.

    Google Scholar 

  40. Troelstra, A. S., ‘On intermediate propositional logics’, Indagationes Mathematicae 27 (1965), p. 141–152.

    Google Scholar 

  41. Wolter, F., Lattices of Modal Logics, PhD thesis, FU Berlin, 1993.

  42. Wolter, F., ‘Superintuitionistic companions of classical modal logics’, Studia Logica 58 (1997), p. 229–259.

    Google Scholar 

  43. Wolter, F., ‘The structure of lattices of subframe logics’, Annals of Pure and Applied Logic 86 (1997), p. 47–100.

    Google Scholar 

  44. Wolter, F., and M. Zakharyaschev, ‘Intuitionistic modal logics as fragments of classical bimodal logics’, in E. Orłowska (ed.), Logic at Work, Kluwer Academic Publishers, 1997 (in print).

  45. Wolter, F., and M. Zakharyaschev, ‘On the relation between intuitionistic and classical modal logics’, Algebra and Logic, 1996, p. 73–92.

  46. Wolter, F., and M. Zakharyaschev, ‘Intuitionistic modal logics’ (manuscript).

  47. WroŃski, A., ‘Intermediate logics and the disjunction property’, Reports on Mathematical Logic 1 (1973), p. 39–51.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Georgian Academy of Sciences and JAIST, Japan

    Guram Bezhanishvili

Authors
  1. Guram Bezhanishvili
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bezhanishvili, G. Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61, 367–402 (1998). https://doi.org/10.1023/A:1005073905902

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005073905902

Search

Navigation