Involutions defined by monadic terms
- 15 Downloads
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.
KeywordsSmall Variety Mathematical Logic Distributive Lattice Computational Linguistic Bounded Distributive
Unable to display preview. Download preview PDF.
- W. Blok,The lattice of modal logics: an algebraic investigation,Journal of Symbolic Logic, vol. 45, n∘ 2 (1980), pp. 221–236.Google Scholar
- R. Feys,Modal Logics, E. Nauwelaerts, Louvain, 1965.Google Scholar
- O. C. Garcia andW. Taylor,The lattice of interpretability types of varieties,Memoirs American Mathematical Society, vol. 50, n∘ 305, 1984.Google Scholar
- R. A. Lewin,Interpretations into monadic algebras,Studio Logica 46:4, 1987, pp. 329–342.Google Scholar