Skip to main content
SpringerLink
Log in

Involutions defined by monadic terms

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We prove that there are two involutions defined by monadic terms that characterize Monadic Algebras. We further prove that the variety of Monadic Algebras is the smallest variety of Interior Algebras where these involutions give rise to an interpretation from the variety of Bounded Distributive Lattices into it.

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. W. Blok,The lattice of modal logics: an algebraic investigation,Journal of Symbolic Logic, vol. 45, n∘ 2 (1980), pp. 221–236.

    Google Scholar 

  2. R. Feys,Modal Logics, E. Nauwelaerts, Louvain, 1965.

    Google Scholar 

  3. O. C. Garcia andW. Taylor,The lattice of interpretability types of varieties,Memoirs American Mathematical Society, vol. 50, n∘ 305, 1984.

  4. R. A. Lewin,Interpretations into monadic algebras,Studio Logica 46:4, 1987, pp. 329–342.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Matemáticas, Pontficia Universidad Catolica de Chile, 6177, Santiago, Casilla

    Renato A. Lewin

Authors
  1. Renato A. Lewin
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research funded by Fondecyt, project N∘ 764-1987.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lewin, R.A. Involutions defined by monadic terms. Stud Logica 47, 387–389 (1988). https://doi.org/10.1007/BF00671567

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation