On EMV-algebras

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F19%3A73597254" target="_blank" >RIV/61989592:15310/19:73597254 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

On EMV-algebras

Popis výsledku v původním jazyce

The paper deals with an algebraic extension of MV-algebras based on the definition of generalized Boolean algebras. We introduce a new class of structures, not necessarily with a top element, which are called EMV-algebras, in a way that every EMV-algebra contains an MV-algebra. First, we present basic properties of EMV-algebras. We give some examples, introduce and investigate congruence relations, ideals and filters on these algebras. We establish a basic representation result saying that each EMV-algebra can be embedded into an EMV-algebra with top element and we characterize EMV-algebras either as structures which are termwise equivalent to MV-algebras or as maximal ideals of EMV-algebras with top element. We study the lattice of ideals of an EMV-algebra and prove that every EMV-algebra has at least one maximal ideal. We define an EMV-clan of fuzzy sets as a special EMV-algebra where all operations are defined by points. We show that any semisimple EMV-algebra is isomorphic to an EMV-clan of fuzzy functions on a set. The set of EMV-algebras is neither a variety nor a quasivariety, but rather a special class of EMV-algebras which we call a q-variety of EMV-algebras. We present an equational base for each proper q-subvariety of the q-variety of EMV-algebras. We establish categorical equivalencies among the category of proper EMV-algebras, the category of MV-algebras with a fixed special maximal ideal, and a special category of Abelian unital l-groups.

Název v anglickém jazyce

On EMV-algebras

Popis výsledku anglicky

The paper deals with an algebraic extension of MV-algebras based on the definition of generalized Boolean algebras. We introduce a new class of structures, not necessarily with a top element, which are called EMV-algebras, in a way that every EMV-algebra contains an MV-algebra. First, we present basic properties of EMV-algebras. We give some examples, introduce and investigate congruence relations, ideals and filters on these algebras. We establish a basic representation result saying that each EMV-algebra can be embedded into an EMV-algebra with top element and we characterize EMV-algebras either as structures which are termwise equivalent to MV-algebras or as maximal ideals of EMV-algebras with top element. We study the lattice of ideals of an EMV-algebra and prove that every EMV-algebra has at least one maximal ideal. We define an EMV-clan of fuzzy sets as a special EMV-algebra where all operations are defined by points. We show that any semisimple EMV-algebra is isomorphic to an EMV-clan of fuzzy functions on a set. The set of EMV-algebras is neither a variety nor a quasivariety, but rather a special class of EMV-algebras which we call a q-variety of EMV-algebras. We present an equational base for each proper q-subvariety of the q-variety of EMV-algebras. We establish categorical equivalencies among the category of proper EMV-algebras, the category of MV-algebras with a fixed special maximal ideal, and a special category of Abelian unital l-groups.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10102 - Applied mathematics

Projekt

<a href="/cs/project/GA15-15286S" target="_blank" >GA15-15286S: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti</a><br>

Návaznosti

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

Rok uplatnění

2019

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

373

Číslo periodika v rámci svazku

OCT

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

33

Strana od-do

116-148

Kód UT WoS článku

000482585800007

EID výsledku v databázi Scopus

2-s2.0-85061805905