Pseudo EMV-algebras. II. representation and states

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="https://www.researchgate.net/publication/337465265_Pseudo_EMV-algebras_II_Representation_and_States" target="_blank" >https://www.researchgate.net/publication/337465265_Pseudo_EMV-algebras_II_Representation_and_States</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Pseudo EMV-algebras. II. representation and states

Popis výsledku v původním jazyce

The paper is a continuation of the research on pseudo EMV-algebras which started in [13]. We show that every pseudo EMV-algebra without top element can be embedded into a pseudo EMV-algebra with top element as a maximal and normal ideal of the latter one. We present a categorical equivalence of the category of pseudo EMV-algebras without top element with a special category of pseudo MV-algebras or with a special category of ℓ-groups. Finally, we study states as finitely additive mappings as well as state-morphisms on pseudo EMV-algebras. We show that each state, if it exists, is a weak limit of a net of convex combinations of state-morphisms, and every state can be represented as an integral with respect to a unique regular σ-additive Borel probability measure.

Název v anglickém jazyce

Pseudo EMV-algebras. II. representation and states

Popis výsledku anglicky

The paper is a continuation of the research on pseudo EMV-algebras which started in [13]. We show that every pseudo EMV-algebra without top element can be embedded into a pseudo EMV-algebra with top element as a maximal and normal ideal of the latter one. We present a categorical equivalence of the category of pseudo EMV-algebras without top element with a special category of pseudo MV-algebras or with a special category of ℓ-groups. Finally, we study states as finitely additive mappings as well as state-morphisms on pseudo EMV-algebras. We show that each state, if it exists, is a weak limit of a net of convex combinations of state-morphisms, and every state can be represented as an integral with respect to a unique regular σ-additive Borel probability measure.

Druh

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

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

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

Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications

ISSN

2055-3706

e-ISSN

—

Svazek periodika

6

Číslo periodika v rámci svazku

7

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

44

Strana od-do

1329-1372

Kód UT WoS článku

000519571900006

EID výsledku v databázi Scopus

2-s2.0-85076561007