How to introduce the connective implication in orthomodular posets
How to introduce the connective implication in orthomodular posets
Since orthomodular posets serve as an algebraic axiomatization of the logic of quantum mechanics, it is a natural question how the connective of implication can be defined in this logic. It should be introduced in such a way that it is related with conjunction, i.e. with the partial operation meet, …