Sharply Orthocomplete Effect Algebras
Special types of effect algebras <em>E</em> called sharply dominating and S-dominating were introduced by S. Gudder in [7, 8]. We prove statements about connections between sharp orthocompleteness, sharp dominancy and completeness of <em>E</em>. Namely we prove that in every...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
CTU Central Library
2010-01-01
|
Series: | Acta Polytechnica |
Subjects: | |
Online Access: | https://ojs.cvut.cz/ojs/index.php/ap/article/view/1267 |