Note on tense SHn-algebras

zbMATH Open1265.03078arXiv1203.5459MaRDI QIDQ3145265FDOQ3145265

Authors: Aldo V. Figallo, Gustavo Pelaitay 

Publication date: 19 December 2012

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.

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (7)

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

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)