Relevance implication and orthomodular posets

Varování

Publikace nespadá pod Fakultu sociálních studií, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

EMIR Kadir PASEKA Jan

Rok publikování 2024
Druh Článek ve sborníku
Konference 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL)
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://ieeexplore.ieee.org/document/10628568
Doi http://dx.doi.org/10.1109/ISMVL60454.2024.00026
Klíčová slova multiple-valued implication; Kalmbach implication; non-tollens implication; Dishkant implication; Sasaki implication; relevance implication; classical implication; orthomodular poset; modus ponens rule
Popis We establish five distinct multiple-valued quantum implications for orthogonal 2-lub-complete posets, encompassing Kalmbach implication, non-tollens implication, Dishkant implication, Sasaki implication, and relevance implication. We demonstrate that if any of these implications adhere to the order property, the corresponding poset transforms into a quantum logic, and vice versa. Additionally, we obtain a corresponding result for the modus ponens rule.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.