Pseudovarieties of algebras with fuzzy equalities

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155704" target="_blank" >RIV/61989592:15310/15:33155704 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Pseudovarieties of algebras with fuzzy equalities

Popis výsledku v původním jazyce

We establish analogy of the Eilenberg-Schutzenberger pseudovariety theorem in the setting of algebras with fuzzy equalities and Pavelka-style semantics using complete residuated lattices as structures of truth degrees. We show that under the assumption of countable reconstructibility, classes of finite algebras with fuzzy equalities closed under formations of subalgebras, homomorphic images, and finite direct products, are classes of finite algebras with fuzzy equalities which satisfy all but finitely many identities taken from fuzzy sets of identities which serve as graded equational theories. We also show that the assumption of countable reconstructibility is satisfied by model classes if one uses complete residuated lattices based on left-continuoustriangular norms as structures of truth degrees.

Název v anglickém jazyce

Pseudovarieties of algebras with fuzzy equalities

Popis výsledku anglicky

We establish analogy of the Eilenberg-Schutzenberger pseudovariety theorem in the setting of algebras with fuzzy equalities and Pavelka-style semantics using complete residuated lattices as structures of truth degrees. We show that under the assumption of countable reconstructibility, classes of finite algebras with fuzzy equalities closed under formations of subalgebras, homomorphic images, and finite direct products, are classes of finite algebras with fuzzy equalities which satisfy all but finitely many identities taken from fuzzy sets of identities which serve as graded equational theories. We also show that the assumption of countable reconstructibility is satisfied by model classes if one uses complete residuated lattices based on left-continuoustriangular norms as structures of truth degrees.

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/GAP103%2F11%2F1456" target="_blank" >GAP103/11/1456: Základy pro zpracování dat s využitím podobností</a><br>

Návaznosti

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

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ů

Název periodika

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

260

Číslo periodika v rámci svazku

FEB

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

11

Strana od-do

110-120

Kód UT WoS článku

000345959500007

EID výsledku v databázi Scopus

—