Separation algebras are models of separation logic and effect algebras are models of unsharp quantum logics. We investigate these closely related classes of partial algebras as well as their noncommuta-tive versions and the subclasses of (generalized) (pseudo-)orthoalgebras. We present an orderly algorithm for constructing all nonisomorphic generalized pseudoeffect algebras with n elements and use it to compute these algebras with up to 10 elements.
展开▼