A Complete Axiomatisation for the Logic of Lattice Effect Algebras
From MaRDI portal
Publication:6305048
DOI10.1007/S10773-019-04074-YzbMath1523.03030arXiv1808.01670WikidataQ128007076 ScholiaQ128007076MaRDI QIDQ6305048
Amir Hossein Sharafi, Soroush Rafiee Rad, Sonja Smets
Publication date: 5 August 2018
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
This page was built for publication: A Complete Axiomatisation for the Logic of Lattice Effect Algebras