Další formáty:
BibTeX
LaTeX
RIS
@article{1320847,
author = {Chajda, Ivan and Paseka, Jan},
article_location = {AMSTERDAM},
article_number = {October},
doi = {http://dx.doi.org/10.1016/j.fss.2014.09.007},
keywords = {Fuzzy logic; Modal logic; Residuated poset; Tense logic; Tense operators; Fuzzy dynamic algebra},
language = {eng},
issn = {0165-0114},
journal = {Fuzzy Sets and Systems},
title = {Tense operators in fuzzy logic},
volume = {276},
year = {2015}
}
TY - JOUR
ID - 1320847
AU - Chajda, Ivan - Paseka, Jan
PY - 2015
TI - Tense operators in fuzzy logic
JF - Fuzzy Sets and Systems
VL - 276
IS - October
SP - 100-113
EP - 100-113
PB - ELSEVIER SCIENCE BV
SN - 01650114
KW - Fuzzy logic
KW - Modal logic
KW - Residuated poset
KW - Tense logic
KW - Tense operators
KW - Fuzzy dynamic algebra
N2 - The aim of the paper is to introduce and describe tense operators in every fuzzy logic which is axiomatized by means of a residuated poset. For this we use the axiomatization of universal quantifiers as a starting point and we modify these axioms for our sake. At first, we show that the operators can be recognized as modal operators and we study the pairs as the so-called dynamic pairs. Further, we get constructions of these operators in the corresponding residuated poset provided a time frame is given. Moreover, we solve the problem of finding a time frame in the case when the tense operators are given. In particular, any tense algebra is representable in its Dedekind-MacNeille completion. (C) 2014 Elsevier B.V. All rights reserved.
ER -
CHAJDA, Ivan a Jan PASEKA. Tense operators in fuzzy logic. \textit{Fuzzy Sets and Systems}. AMSTERDAM: ELSEVIER SCIENCE BV, 2015, roč.~276, October, s.~100-113. ISSN~0165-0114. Dostupné z: https://dx.doi.org/10.1016/j.fss.2014.09.007.
|
