Skip to main content
SpringerLink
Log in

An effective representation for finitely generated free interior algebras

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

We give a representation of finitely generated free interior algebras and of the Heyting algebras of their open elements. By means of the representation we give a new and strengthened version of some earlier theorems of McKinsey-Tarski and Blok, etc. regarding such algebras.

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. F.Bellissima,Atoms in modal algebras, to appear in Zeitschrift für Mathematische Logic

  2. W. J.Blok,The free closure algebra on finitely many generators, Indagationes Mathematicae, 1977, pp 362–379.

  3. W. J.Blok,The lattice of modal logics: an algebraic investigation, Journal of Symbolic Logic, 1980, pp 221–236.

  4. W. J. Blok andPh. Dwinger,Equational classes of closure algebras I, Indagationes Mathematicae,37, pp 189–198, 1975.

    Google Scholar 

  5. S.Burris and H. P.Sankappanavar,A course in Universal Algebra, Springer-Verlag, 1981.

  6. J. C. C. McKinsey andA. Tarski,The algebra of topology, Annals of Mathematics.45, pp 141–191, 1944.

    Google Scholar 

  7. J. C. C. McKinsey andA. Tarski,On closed elements in closure algebras, Annals of Mathematics,47, pp. 122–162, 1946.

    Google Scholar 

  8. M. Mirolli,On the axiomatization of finite frames of the modal system GL, Bollettino U.M.I., 17B, pp 1075–1085, 1980.

    Google Scholar 

  9. H.Rasiowa and R.Sikorski,The mathematics of Metamathematics, Warsawa, 1963.

  10. K.Segerberg,An essay in Classical Modal Logic, Uppsala, 1971.

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Siena, Italy

    Fabio Bellissima

Authors
  1. Fabio Bellissima
    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

Bellissima, F. An effective representation for finitely generated free interior algebras. Algebra Universalis 20, 302–317 (1985). https://doi.org/10.1007/BF01195140

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01195140

Keywords

Search

Navigation