Abstract
The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations G and H which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diaconescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we 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. Our method gives a general framework for representing functions with the so-called Jauch–Piron property (including MV-morphisms) between MV-algebras.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
