An implication in orthologic

Details An implication in orthologic An implication in orthologic

2002-10-11

arxiv.org/abs/quant-ph/0210083v2

Physics

Quantum Physics

9 pages, 2 figures; revised version for conference volume QS 2002

Scientific paper

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-called orthosemilattice. Properties of
congruences and congruence kernels of these algebras are described.

Affiliated with

Also associated with

No associations

Rating

An implication in orthologic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An implication in orthologic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An implication in orthologic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-298828