Dynamic effect algebras

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F12%3A33140476" target="_blank" >RIV/61989592:15310/12:33140476 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.2478/s12175-012-0015-z" target="_blank" >http://dx.doi.org/10.2478/s12175-012-0015-z</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.2478/s12175-012-0015-z" target="_blank" >10.2478/s12175-012-0015-z</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Dynamic effect algebras
Popis výsledku v původním jazyce
We introduce the so-called tense operators in lattice e?ect algebras. Tense operators express the quanti?ers "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 logicof quantum mechanics. We present an axiomatization of these tense operators and prove that every lattice e?ect algebra whose underlying lattice is complete can be equipped with tense operators. Such an e?ect algebra is called dynamic since it re?ects changes of quantum events from past to future.
Název v anglickém jazyce
Dynamic effect algebras
Popis výsledku anglicky
We introduce the so-called tense operators in lattice e?ect algebras. Tense operators express the quanti?ers "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 logicof quantum mechanics. We present an axiomatization of these tense operators and prove that every lattice e?ect algebra whose underlying lattice is complete can be equipped with tense operators. Such an e?ect algebra is called dynamic since it re?ects changes of quantum events from past to future.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Rok uplatnění
2012
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ů

Podobné výsledky(10)