Pseudocomplemented lattice effect algebras and existence of states

  • Authors:
  • Zdenka Riečanová

  • Affiliations:
  • Department of Mathematics, Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Ilkovičova 3, SK-812 19 Bratislava, Slovak Republic

  • Venue:
  • Information Sciences: an International Journal
  • Year:
  • 2009

Quantified Score

Hi-index 0.07

Visualization

Abstract

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.