Note on tense SHn-algebras

MaRDI QIDQ3145265zbMATH OpenFDO

Authors Aldo V. Figallo, Gustavo Pelaitay

Publication date 19 December 2012

Full work available at URL https://arxiv.org/abs/1203.5459

zbMATH Keywords

discrete duality\(SHn\)-algebrastense \(SHn\)-algebras

Mathematics Subject Classification ID

Temporal logic (03B44) Other algebras related to logic (03G25)

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.

Recommendations

• Discrete duality for TSH-algebras
• Tense operators on \(\mathrm{SH}n\)-algebras
• Discrete duality for tense Łukasiewicz-Moisil algebras
• Tense polyadic \(n\times m\) valued Łukasiewicz-Moisil algebras
• A topological duality for tense \(LM_n\)-algebras and applications

Cited in

(7)

• Discrete duality for TSH-algebras
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• A topological approach to tense \(LM_{n \times m}\)-algebras
• Tense operators on \(\mathrm{SH}n\)-algebras
• Subdirectly irreducible IKt-algebras
• Principal and Boolean congruences on \(IKt\)-algebras

This page was built for publication: Note on tense \(SHn\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145265)