Pseudocomplemented lattice effect algebras and existence of states
The author studies pseudocomplemented lattice effect algebras. In particular, it is shown that the set of sharp elements in a pseudocomplemented lattice effect algebra forms a Boolean algebra (with the inherited pseudocomplementation as an orthocomplementation) and that every pseudocomplemented complete atomic lattice effect algebra admits a state.
scientific article; zbMATH DE number 5539788