Dynamic effect algebras

Mathematica Slovaca

Ivan Chajda¹  Miroslav Kolařík¹ 

关键词: effect algebra;    lattice effect algebra;    tense operators;    dynamic effect algebra;   

DOI  :  10.2478/s12175-012-0015-z

学科分类：数学（综合）

来源: Slovenska Akademia Vied * Matematicky Ustav / Slovak Academy of Sciences, Mathematical Institute

【 摘 要 】

We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” and hence enable us to express the dimension of time in the logic of quantum mechanics. We present an axiomatization of these tense operators and prove that every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future.

【 授权许可】

Unknown