Abstract
Considering the inference rules in generalized logics, J.C. Abbott arrives to the notion of orthoimplication algebra (see Abbott (1970) and Abbott (Stud. Logica. 2:173–177, XXXV)). We show that when one enriches the Abbott orthoimplication algebra with a falsity symbol and a natural mathbb {XOR}-type operation, one obtains an orthomodular difference lattice as an enriched quantum logic (see Matoušek (Algebra Univers. 60:185–215, 2009)). Moreover, we find that these two structures endowed with the natural morphisms are categorically equivalent. We also show how one can introduce the notion of a state in the Abbott mathbb {XOR} algebras strenghtening thus the relevance of these algebras to quantum theories.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have