Computer proof of monotonicity of operations on orthomodular lattices
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F13%3A00212516" target="_blank" >RIV/68407700:21230/13:00212516 - isvavai.cz</a>
Výsledek na webu
<a href="http://cmp.felk.cvut.cz/pub/cmp/articles/navara/Monotonicity_INS13.pdf" target="_blank" >http://cmp.felk.cvut.cz/pub/cmp/articles/navara/Monotonicity_INS13.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.ins.2013.02.021" target="_blank" >10.1016/j.ins.2013.02.021</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Computer proof of monotonicity of operations on orthomodular lattices
Popis výsledku v původním jazyce
In this paper we study the monotonicity of binary operations in orthomodular lattices and their distributivity with respect to the lattice operations.
Název v anglickém jazyce
Computer proof of monotonicity of operations on orthomodular lattices
Popis výsledku anglicky
In this paper we study the monotonicity of binary operations in orthomodular lattices and their distributivity with respect to the lattice operations.
Klasifikace
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
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
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
Information Sciences
ISSN
0020-0255
e-ISSN
—
Svazek periodika
236
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
13
Strana od-do
205-217
Kód UT WoS článku
000318747800015
EID výsledku v databázi Scopus
—