Studia Logica

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

Involutions defined by monadic terms

  • Renato A. Lewin


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.


Small Variety Mathematical Logic Distributive Lattice Computational Linguistic Bounded Distributive 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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