Pseudocomplemented lattice effect algebras and existence of states

We prove that in every pseudocomplemented atomic lattice effect algebra the subset of all pseudocomplements is a Boolean algebra including the set of sharp elements as a subalgebra. As an application, we show families of effect algebras for which the existence of a pseudocomplementation implies the existence of states. These states can be obtained by smearing of states existing on the Boolean algebra of sharp elements.