An implication in orthologic

I. Chajda, R. Halas

We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-calle…