A Complete Axiomatisation for the Logic of Lattice Effect Algebras
| Authors |
|
|---|---|
| Publication date | 02-2021 |
| Journal | International Journal of Theoretical Physics |
| Volume | Issue number | 60 | 2 |
| Pages (from-to) | 696-709 |
| Number of pages | 14 |
| Organisations |
|
| Abstract |
In a recent work Foulis and Pulmannová (Stud. Logica. 100(6), 1291–1315, 2012) studied the logical connectives in lattice effect algebras. In this paper we extend their study and investigate further the logical calculus for which the lattice effect algebras can serve as semantic models. We shall first focus on some properties of lattice effect algebras and will then give a complete axiomatisation of this logic. |
| Document type | Article |
| Note | In special issue: Quantum Logic and Quantum Structures: Selected papers from IQSA 2017 and 2018. |
| Language | English |
| Published at | https://doi.org/10.1007/s10773-019-04074-y |
| Other links | https://www.scopus.com/pages/publications/85064828577 |
| Permalink to this page | |
