Skip to main content
Log in

Interpretations into monadic algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In [3], O. C. García and W. Taylor make an in depth study of the lattice of interpretability types of varieties first introduced by W. Neumann [5]. In this lattice several varieties are identified so in order to distinguish them and understand the fine structure of the lattice, we propose the study of the interpretations between them, in particular, how many there are and what these are. We prove, among other things, that there are eight interpretations from the variety of Monadic algebras into itself.

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

Access this article

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. H. Bass, Finite monadic algebras, Proceedings of the American Mathematical Society 9 (1958), pp. 258–268.

    Google Scholar 

  2. K. Fine, Normal forms in modal logic, Notre Dame Journal of Formal Logic, vol. XVI, N∘2 (1975), pp. 229–237.

    Google Scholar 

  3. O. C. Gabcía and. W. Taylor, The Lattice of Interpretability Types of Varieties. Memoirs of the American Mathematical Society, vol. 50 N∘305, 1984.

  4. R. A. Lewin, Interpretations into Varieties of Algebraic Logic, Ph. D. Thesis, University of Colorado-Boulder, 1985.

  5. W. D. Neumann, On Malcev conditions, Journal of the Australian Mathematical Society 17 (1974), pp. 376–384.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

This paper is based on the author's doctoral dissertation at the University of Colorado-Boulder in 1985, under the direction of Prof. Walter Taylor. Research funded by Pontificia Universidad Católica de Chile.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lewin, R.A. Interpretations into monadic algebras. Stud Logica 46, 329–342 (1987). https://doi.org/10.1007/BF00370644

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation