Tense SHn--algebras
classification
🧮 math.LO
keywords
algebrastensedualityshn-algebrasheytingorderboundedconstitute
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.