Abstract
We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have