TY  - RPRT
TI  - The groupoid-based logic for lattice effect algebras
AU  - I. Chajda
AU  - H. Länger
AU  - J. Paseka
PY  - 2018
DO  - 10.1109/ismvl.2017.15
UR  - https://arxiv.org/abs/1810.05498
ID  - 1810.05498
ER  -