Tense SHn--algebras
Logic
2014-05-29 v2
Abstract
In 1982, L. Iturrioz introduced symmetrical Heyting algebras of order n (or SHn-algebras). In this paper, we define and study tense SHn-algebras namely, SHn-algebras endowed with two tense operators. These algebras constitute a generalization of tense Lukasiewicz-Moisil algebras. Our main interest is the duality theory for tense SHn- algebras. In order to do this, we requiere Esakia's duality for Heyting algebras and Goldblatt's duality for bounded distributive lattices with operations.
Cite
@article{arxiv.1203.5459,
title = {Tense SHn--algebras},
author = {Aldo V. Figallo and Gustavo Pelaitay},
journal= {arXiv preprint arXiv:1203.5459},
year = {2014}
}
Comments
This paper has been withdrawn by the author due to a crucial sign error in equation 1