Sharply Orthocomplete Effect Algebras

Authors Martin Kalina, Jan Paseka, Z. Riečanová

Publication date 20 May 2010

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: Special types of effect algebras

E

called sharply dominating and S-dominating were introduced by S. Gudder in cite{gudder1,gudder2}. We prove statements about connections between sharp orthocompleteness, sharp dominancy and completeness of

E

. Namely we prove that in every sharply orthocomplete S-dominating effect algebra

E

the set of sharp elements and the center of

E

are complete lattices bifull in

E

. If an Archimedean atomic lattice effect algebra

E

is sharply orthocomplete then it is complete.

This page was built for publication: Sharply Orthocomplete Effect Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6218813)