Tense logic based on finite orthomodular posets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F23%3A73620539" target="_blank" >RIV/61989592:15310/23:73620539 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007/s10773-023-05327-7" target="_blank" >https://link.springer.com/article/10.1007/s10773-023-05327-7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10773-023-05327-7" target="_blank" >10.1007/s10773-023-05327-7</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Tense logic based on finite orthomodular posets
Popis výsledku v původním jazyce
The logic of quantum mechanics is based on orthomodular posets. However, such a logic is dynamic, i.e. it incorporates time dimension. Hence, we introduce certain tense operators on such a logic in an inexact way, but still satisfying requirements asked on tense operators in the classical logic based on Boolean algebras. We investigate the behaviour of these tense operators, e.g. we show that they form dynamic pairs .We show how to construct the binary relation of time preference on a given time set provided the tense operators are given.
Název v anglickém jazyce
Tense logic based on finite orthomodular posets
Popis výsledku anglicky
The logic of quantum mechanics is based on orthomodular posets. However, such a logic is dynamic, i.e. it incorporates time dimension. Hence, we introduce certain tense operators on such a logic in an inexact way, but still satisfying requirements asked on tense operators in the classical logic based on Boolean algebras. We investigate the behaviour of these tense operators, e.g. we show that they form dynamic pairs .We show how to construct the binary relation of time preference on a given time set provided the tense operators are given.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10102 - Applied mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GF20-09869L" target="_blank" >GF20-09869L: Ortomodularita z různých pohledů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2023
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ů
Údaje specifické pro druh výsledku
Název periodika
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
ISSN
0020-7748
e-ISSN
1572-9575
Svazek periodika
62
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
19
Strana od-do
"82-1"-"82-19"
Kód UT WoS článku
000963347300001
EID výsledku v databázi Scopus
2-s2.0-85153086061