SU\G(𝔸)/K·U

How to introduce the connective implication in orthomodular posets.

Ivan Chajda, Helmut Länger

Type: Preprint

Publication Date: 2019-07-24

Citations: 0

Locations

  • arXiv (Cornell University) - View

Similar Works

Action Title Year Authors
+ PDF Chat How to introduce the connective implication in orthomodular posets 2020 Ivan Chajda
Helmut Länger
+ How to introduce the connective implication in orthomodular posets 2019 Ivan Chajda
Helmut Länger
+ The logic of orthomodular posets of finite height 2020 Ivan Chajda
Helmut Länger
+ The logic of orthomodular posets of finite height 2020 Ivan Chajda
Helmut Länger
+ PDF Chat The logic of orthomodular posets of finite height 2020 Ivan Chajda
Helmut Länger
+ Left residuated operators induced by posets with a unary operation 2018 Ivan Chajda
Helmut Länger
+ Left residuated operators induced by posets with a unary operation 2018 Ivan Chajda
Helmut Länger
+ Residuation in finite posets 2019 Ivan Chajda
Helmut Länger
+ Residuation in finite posets 2019 Ivan Chajda
Helmut Länger
+ PDF Chat Left residuated operators induced by posets with a unary operation 2019 Ivan Chajda
Helmut Länger
+ Varieties corresponding to classes of complemented posets 2019 Ivan Chajda
Miroslav Kolařík
Helmut Länger
+ PDF Chat Varieties corresponding to classes of complemented posets 2021 Ivan Chajda
Miroslav Kolařík
Helmut Länger
+ Quantum implications in orthomodular posets 2023 Kadir Emir
Jan Paseka
+ A Rule-Based Logic for Quantum Information 2005 Olivier Brunet
+ Residuated operators in complemented posets 2018 Ivan Chajda
Helmut Länger
+ Residuated operators in complemented posets 2018 Ivan Chajda
Helmut Länger
+ PDF Chat Residuated operators in complemented posets 2018 Ivan Chajda
Helmut Länger
+ Logical and algebraic properties of generalized orthomodular posets 2020 Ivan Chajda
Helmut Länger
+ Non-Orthomodular Models for Both Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers 1999 Mladen Pavičić
Norman D. Megill
+ Quantum logics close to Boolean algebras 2021 Mirko Navara
Pavel Pták

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (1)

Action Title Year Authors
+ PDF Chat Orthomodular lattices can be converted into left residuated l-groupoids 2017 Ivan Chajda
Helmut Länger