The logic of orthomodular posets of finite height
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F22%3A73612572" target="_blank" >RIV/61989592:15310/22:73612572 - isvavai.cz</a>
Výsledek na webu
<a href="https://academic.oup.com/jigpal/article/30/1/143/6042034" target="_blank" >https://academic.oup.com/jigpal/article/30/1/143/6042034</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/jigpal/jzaa067" target="_blank" >10.1093/jigpal/jzaa067</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The logic of orthomodular posets of finite height
Popis výsledku v původním jazyce
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. A central question is how to introduce implication in such a logic. We give a positive answer whenever the orthomodular poset in question if of finite height. The crutial advantage of our solution is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator implication, corresponds to the original orthomodular poset. This enable us to derive an axiomatization in Gentzen style for the algebraizable logic of orthomodular posets of finite heigh.
Název v anglickém jazyce
The logic of orthomodular posets of finite height
Popis výsledku anglicky
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. A central question is how to introduce implication in such a logic. We give a positive answer whenever the orthomodular poset in question if of finite height. The crutial advantage of our solution is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator implication, corresponds to the original orthomodular poset. This enable us to derive an axiomatization in Gentzen style for the algebraizable logic of orthomodular posets of finite heigh.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure 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í
2022
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
LOGIC JOURNAL OF THE IGPL
ISSN
1367-0751
e-ISSN
1368-9894
Svazek periodika
30
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
12
Strana od-do
143-154
Kód UT WoS článku
000744508900008
EID výsledku v databázi Scopus
2-s2.0-85129552054