Relevance implication and orthomodular posets

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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	https://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:	Ortomodularita z různých pohledů Specifický výzkum v odborné a učitelské matematice 2023