Logical matrices for orthomodular logic are introduced. The underlying algebraic structures are orthomodular lattices, where the conditional connective is the Sasaki arrow. An axiomatic calculus OMC ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback