Abstract

All known a quantum logicsoÐ orthomodular lattices and posets, orthoalgebras, effect algebras, etc.Ðmay be regarded as cancelative, unital partial abelian semigroups. [See Wilce (1995a, b) for pertinent definitions.] An abelian group may also be regarded as a cancelative, unital PASÐ one in which every element is a unit. As noted in Wilce (1995b), every cancelative unital PAS L has a canonical ideal A (L) which is an abelian group, and a canonical quotient by A (L) which is an effect algebra. Thus, we may regard every cancellative, unital PAS as an extension of an effect algebra by an abelian group. The present paper begins a study of such extensions.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.