zbMATH — the first resource for mathematics

Tense operators on De Morgan algebras. (English) Zbl 1347.06012
The tense operators have been investigated for basic algebras, MV-algebras, Łukasiewicz-Moisil algebras, Heyting algebras. In this paper, the authors investigate the tense operators on De Morgan algebras and the main results are the following: definition and examples of the variety of tense De Morgan algebras, representation of tense De Morgan algebras, description of a topological duality for tense De Morgan algebras, characterization of the congruences of tense De Morgan algebras.

06D30 De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects)
03G25 Other algebras related to logic
03B44 Temporal logic
06D50 Lattices and duality
06B20 Varieties of lattices
Full Text: DOI