Další formáty:
BibTeX
LaTeX
RIS
@article{1320852, author = {Botur, Michal and Paseka, Jan}, article_location = {AMSTERDAM}, article_number = {January}, doi = {http://dx.doi.org/10.1016/j.fss.2014.06.006}, keywords = {Tense operators; MV-algebra; Predicate logic}, language = {eng}, issn = {0165-0114}, journal = {Fuzzy Sets and Systems}, title = {On tense MV-algebras}, volume = {259}, year = {2015} }
TY - JOUR ID - 1320852 AU - Botur, Michal - Paseka, Jan PY - 2015 TI - On tense MV-algebras JF - Fuzzy Sets and Systems VL - 259 IS - January SP - 111-125 EP - 111-125 PB - ELSEVIER SCIENCE BV SN - 01650114 KW - Tense operators KW - MV-algebra KW - Predicate logic N2 - 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. (C) 2014 Elsevier B.V. All rights reserved. ER -
BOTUR, Michal a Jan PASEKA. On tense MV-algebras. \textit{Fuzzy Sets and Systems}. AMSTERDAM: ELSEVIER SCIENCE BV, 2015, roč.~259, January, s.~111-125. ISSN~0165-0114. Dostupné z: https://dx.doi.org/10.1016/j.fss.2014.06.006.
|