Studia Logica

, Volume 47, Issue 4, pp 387–389 | Cite as

Involutions defined by monadic terms

  • Renato A. Lewin
Article
  • 15 Downloads

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.

Keywords

Small Variety Mathematical Logic Distributive Lattice Computational Linguistic Bounded Distributive 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [2]
    R. Feys,Modal Logics, E. Nauwelaerts, Louvain, 1965.Google Scholar
  3. [3]
    O. C. Garcia andW. Taylor,The lattice of interpretability types of varieties,Memoirs American Mathematical Society, vol. 50, n∘ 305, 1984.Google Scholar
  4. [4]
    R. A. Lewin,Interpretations into monadic algebras,Studio Logica 46:4, 1987, pp. 329–342.Google Scholar

Copyright information

© Polish Academy of Sciences 1988

Authors and Affiliations

  • Renato A. Lewin
    • 1
  1. 1.Facultad de MatemáticasPontficia Universidad Catolica de ChileSantiago

Personalised recommendations