Operator residuation in orthomodular posets of finite height

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F23%3A73620557" target="_blank" >RIV/61989592:15310/23:73620557 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.sciencedirect.com/science/article/pii/S0165011423002348" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0165011423002348</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.fss2023.108589" target="_blank" >10.1016/j.fss2023.108589</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Operator residuation in orthomodular posets of finite height
Popis výsledku v původním jazyce
It is shown that in every orthomodular poset P of finite height can be defined two operators forming an adjoint pair. This enables to introduce the so-called operator residuated poset corresponding to P from which the original poset P can be recovered. It is shown that this construction can be applied also to weakly orthomodular and dually weakly orthomodular posets.
Název v anglickém jazyce
Operator residuation in orthomodular posets of finite height
Popis výsledku anglicky
It is shown that in every orthomodular poset P of finite height can be defined two operators forming an adjoint pair. This enables to introduce the so-called operator residuated poset corresponding to P from which the original poset P can be recovered. It is shown that this construction can be applied also to weakly orthomodular and dually weakly orthomodular posets.

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)

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ů

Podobné výsledky(10)