Kalmbach implication in orthomodular posets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F23%3A00133648" target="_blank" >RIV/00216224:14310/23:00133648 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/ismvl57333.2023.00015" target="_blank" >http://dx.doi.org/10.1109/ismvl57333.2023.00015</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ISMVL57333.2023.00015" target="_blank" >10.1109/ISMVL57333.2023.00015</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Kalmbach implication in orthomodular posets
Popis výsledku v původním jazyce
We show that for every orthogonal lub-complete poset P = (P,≤,′, 0, 1), we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication, Kalmbach implication, and non-tolens implication.If the classical implication satisfies the order property, then the corresponding orthologic becomes classical and vice versa. If the Kalmbach or non-tolens implication meets the order property, then the corresponding orthologic becomes quantum and vice versa. A related result for the modus ponens rule is obtained.
Název v anglickém jazyce
Kalmbach implication in orthomodular posets
Popis výsledku anglicky
We show that for every orthogonal lub-complete poset P = (P,≤,′, 0, 1), we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication, Kalmbach implication, and non-tolens implication.If the classical implication satisfies the order property, then the corresponding orthologic becomes classical and vice versa. If the Kalmbach or non-tolens implication meets the order property, then the corresponding orthologic becomes quantum and vice versa. A related result for the modus ponens rule is obtained.
Klasifikace
Druh
D - Stať ve sborníku
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)<br>S - Specificky vyzkum na vysokych skolach
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 statě ve sborníku
53rd International Symposium on Multiple-Valued Logic (ISMVL 2023)
ISBN
9781665464161
ISSN
0195-623X
e-ISSN
—
Počet stran výsledku
6
Strana od-do
18-23
Název nakladatele
IEEE
Místo vydání
New Jersey, USA
Místo konání akce
Matsue, Shimane
Datum konání akce
22. 5. 2023
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—