Tense operators in fuzzy logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155729" target="_blank" >RIV/61989592:15310/15:33155729 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216224:14310/15:00085223
Výsledek na webu
<a href="http://www.sciencedirect.com/science/article/pii/S0165011414004035" target="_blank" >http://www.sciencedirect.com/science/article/pii/S0165011414004035</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.fss.2014.09.007" target="_blank" >10.1016/j.fss.2014.09.007</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Tense operators in fuzzy logic
Popis výsledku v původním jazyce
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 oursake. 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.
Název v anglickém jazyce
Tense operators in fuzzy logic
Popis výsledku anglicky
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 oursake. 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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/EE2.3.20.0051" target="_blank" >EE2.3.20.0051: Algebraické metody v kvantové logice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Fuzzy Sets and Systems
ISSN
0165-0114
e-ISSN
—
Svazek periodika
276
Číslo periodika v rámci svazku
OCT
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
14
Strana od-do
100-113
Kód UT WoS článku
000356142500006
EID výsledku v databázi Scopus
—