TY  - RPRT
TI  - A Complete Axiomatisation for the Logic of Lattice Effect Algebras
AU  - Soroush Rafiee Rad
AU  - Amir Hossein Sharafi
AU  - Sonja Smets
PY  - 2019
DO  - 10.1007/s10773-019-04074-y
UR  - https://arxiv.org/abs/1808.01670
ID  - 1808.01670
ER  -