Orthomodular Lattices Can Be Converted into Left Residuated L-groupoids

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F17%3A73585134" target="_blank" >RIV/61989592:15310/17:73585134 - isvavai.cz</a>
Výsledek na webu
<a href="http://mat76.mat.uni-miskolc.hu/mnotes/article/1730" target="_blank" >http://mat76.mat.uni-miskolc.hu/mnotes/article/1730</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.18514/MMN.2017.1730" target="_blank" >10.18514/MMN.2017.1730</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Orthomodular Lattices Can Be Converted into Left Residuated L-groupoids
Popis výsledku v původním jazyce
We show that every orthomodular lattice can be considered as a left residuated lgroupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures. Also conversely, every left residuated l-groupoid satisfying the mentioned conditions can be organized into an orthomodular lattice.
Název v anglickém jazyce
Orthomodular Lattices Can Be Converted into Left Residuated L-groupoids
Popis výsledku anglicky
We show that every orthomodular lattice can be considered as a left residuated lgroupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures. Also conversely, every left residuated l-groupoid satisfying the mentioned conditions can be organized into an orthomodular lattice.

Projekt
<a href="/cs/project/GF15-34697L" target="_blank" >GF15-34697L: Nové přístupy k reziduovaným posetům</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2017
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)