Relevance implication and orthomodular posets

D 2024

Relevance implication and orthomodular posets

EMIR, Kadir a Jan PASEKA

Základní údaje

Originální název

Relevance implication and orthomodular posets

Autoři

EMIR, Kadir a Jan PASEKA

Vydání

LOS ALAMITOS, 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL), od s. 85-90, 6 s. 2024

Nakladatel

IEEE COMPUTER SOC

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10100 1.1 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

URL

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/24:00137942

Organizační jednotka

Přírodovědecká fakulta

ISBN

979-8-3503-4309-0

ISSN

Klíčová slova anglicky

multiple-valued implication; Kalmbach implication; non-tollens implication; Dishkant implication; Sasaki implication; relevance implication; classical implication; orthomodular poset; modus ponens rule

Štítky

14311010, rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 10. 12. 2024 12:14, Mgr. Marie Novosadová Šípková, DiS.

Anotace

V originále

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.

Návaznosti

GF20-09869L, projekt VaV

Název: Ortomodularita z různých pohledů

Investor: Grantová agentura ČR, Ortomodularita z různých pohledů, Partnerská agentura (Rakousko)

MUNI/A/1099/2022, interní kód MU

Název: Specifický výzkum v odborné a učitelské matematice 2023

Investor: Masarykova univerzita, Specifický výzkum v odborné a učitelské matematice 2023

Citovat

EMIR, Kadir a Jan PASEKA. Relevance implication and orthomodular posets. In 979-8-3503-4308-3. 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL). LOS ALAMITOS: IEEE COMPUTER SOC, 2024, s. 85-90. ISBN 979-8-3503-4309-0. Dostupné z: https://doi.org/10.1109/ISMVL60454.2024.00026.

@inproceedings{2459134,
   author = {Emir, Kadir and Paseka, Jan},
   address = {LOS ALAMITOS},
   booktitle = {2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL)},
   doi = {https://doi.org/10.1109/ISMVL60454.2024.00026},
   editor = {979-8-3503-4308-3},
   keywords = {multiple-valued implication; Kalmbach implication; non-tollens implication; Dishkant implication; Sasaki implication; relevance implication; classical implication; orthomodular poset; modus ponens rule},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {LOS ALAMITOS},
   isbn = {979-8-3503-4309-0},
   pages = {85-90},
   publisher = {IEEE COMPUTER SOC},
   title = {Relevance implication and orthomodular posets},
   url = {https://ieeexplore.ieee.org/document/10628568},
   year = {2024}
}

TY  - CONF
ID  - 2459134
AU  - Emir, Kadir - Paseka, Jan
PY  - 2024
TI  - Relevance implication and orthomodular posets
PB  - IEEE COMPUTER SOC
CY  - LOS ALAMITOS
SN  - 9798350343090
KW  - multiple-valued implication
KW  - Kalmbach implication
KW  - non-tollens implication
KW  - Dishkant implication
KW  - Sasaki implication
KW  - relevance implication
KW  - classical implication
KW  - orthomodular poset
KW  - modus ponens rule
UR  - https://ieeexplore.ieee.org/document/10628568
N2  - 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.
ER  -

EMIR, Kadir a Jan PASEKA. Relevance implication and orthomodular posets. In 979-8-3503-4308-3. \textit{2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL)}. LOS ALAMITOS: IEEE COMPUTER SOC, 2024, s.~85-90. ISBN~979-8-3503-4309-0. Dostupné z: https://doi.org/10.1109/ISMVL60454.2024.00026.

Přehled o publikaci