2 research outputs found
The groupoid-based logic for lattice effect algebras
The aim of the paper is to establish a certain logic corresponding to lattice
effect algebras. First, we answer a natural question whether a lattice effect
algebra can be represented by means of a groupoid-like structure. We establish
a one-to-one correspondence between lattice effect algebras and certain
groupoids with an antitone involution. Using these groupoids, we are able to
introduce a suitable logic for lattice effect algebras.Comment: 7 page