On Tense MV-algebras
Commutative Algebra
2013-05-16 v1 Logic
Abstract
The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations and which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we \zruseno{will prove} \zmena{settle a half of their Open problem about representation for some classes of tense MV-algebras, i.e., we show} that any tense semisimple MV-algebra is induced by a time frame analogously to classical works in this field of logic. As a by-product we obtain a new characterization of extremal states on MV-algebras.
Cite
@article{arxiv.1305.3406,
title = {On Tense MV-algebras},
author = {Michal Botur and Jan Paseka},
journal= {arXiv preprint arXiv:1305.3406},
year = {2013}
}