Variety theorem for algebras with fuzzy orders

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F16%3A33160155" target="_blank" >RIV/61989592:15310/16:33160155 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.sciencedirect.com/science/article/pii/S0165011415005679" target="_blank" >http://www.sciencedirect.com/science/article/pii/S0165011415005679</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.fss.2015.11.017" target="_blank" >10.1016/j.fss.2015.11.017</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Variety theorem for algebras with fuzzy orders

Popis výsledku v původním jazyce

We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. Algebras with fuzzy orders consist of sets of functions which are compatible with fuzzy orders. Fuzzy orders are defined on universe sets of algebras using complete residuated lattices as structures of degrees. In this setting, we show that classes of models of fuzzy sets of inequalities are closed under suitably defined formations of subalgebras, homomorphic images, and direct products. Conversely, we prove that classes having these closure properties are definable by fuzzy sets of inequalities

Název v anglickém jazyce

Variety theorem for algebras with fuzzy orders

Popis výsledku anglicky

We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. Algebras with fuzzy orders consist of sets of functions which are compatible with fuzzy orders. Fuzzy orders are defined on universe sets of algebras using complete residuated lattices as structures of degrees. In this setting, we show that classes of models of fuzzy sets of inequalities are closed under suitably defined formations of subalgebras, homomorphic images, and direct products. Conversely, we prove that classes having these closure properties are definable by fuzzy sets of inequalities

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA14-11585S" target="_blank" >GA14-11585S: Relační podobnostní databáze</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

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ů

Název periodika

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

303

Číslo periodika v rámci svazku

NOV

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

114-127

Kód UT WoS článku

000384862600007

EID výsledku v databázi Scopus

2-s2.0-84949255401