J 2012

A Dynamic Effect Algebras with dual operation

PASEKA, Jan a Jiří JANDA

Základní údaje

Originální název

A Dynamic Effect Algebras with dual operation

Autoři

Vydání

MATHEMATICS FOR APPLICATIONS, Brno, 2012, 1805-3610

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/12:00062908

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

effect algebra; lattice effect algebra; tense operators; dynamic effect algebra

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 11. 2. 2013 16:24, prof. RNDr. Jan Paseka, CSc.

Anotace

V originále

Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their denition Chajda and Kolařík presented the denition of tense operators for lattice effect algebras. Chajda and Paseka tackled the problem of axiomatizing tense operators on an effect algebra by introducing the notion of a partial dynamic effect algebra. They also gave representation theorems for dynamic effect algebras. We continue to extend their work for partial S-dynamic effect algebras i.e. in the case when tense operators satisfy required conditions also for the dual effect algebraic operation . We show that whenever tense operators are total our stronger notion coincides with their denition. We give also a representation theorem for partial S-dynamic effect algebras and its version for strict dynamic effect algebras.

Návaznosti

EE2.3.20.0051, projekt VaV
Název: Algebraické metody v kvantové logice