2023
Kalmbach implication in orthomodular posets
EMIR, Kadir a Jan PASEKAZákladní údaje
Originální název
Kalmbach implication in orthomodular posets
Autoři
EMIR, Kadir a Jan PASEKA
Vydání
New Jersey, USA, 53rd International Symposium on Multiple-Valued Logic (ISMVL 2023), od s. 18-23, 6 s. 2023
Nakladatel
IEEE
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10101 Pure mathematics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Odkazy
Kód RIV
RIV/00216224:14310/23:00133648
Organizační jednotka
Přírodovědecká fakulta
ISBN
978-1-6654-6416-1
ISSN
EID Scopus
2-s2.0-85164620210
Klíčová slova anglicky
multiple-valued implication; classical implication; Kalmbach implication; non-tolens implication; orthomodular poset; modus ponens rule
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 26. 2. 2024 11:02, Mgr. Marie Novosadová Šípková, DiS.
Anotace
V originále
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ávaznosti
| GF20-09869L, projekt VaV |
| ||
| MUNI/A/1099/2022, interní kód MU |
|