Add to ORKGSeparation 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 noncommutative 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.https://digitalcommons.chapman.edu/scs_books/1046/thumbnail.jp
summary:An equivalent definition of compatibility in pseudo-effect algebras is given, and its relati...
The concept of quantum B-algebra was introduced by Rump and Yang, that is, unified algebraic semanti...
In our previous paper [1] we introduced the concept of a basic algebra, this being an algebra (A,⊕,¬...
summary:We study unbounded versions of effect algebras. We show a necessary and sufficient condition...
This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-v...
Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what bool...
summary:We deal with unbounded dually residuated lattices that generalize pseudo $MV$-algebras in su...
Although effect algebras are useful in axiomatization of unsharp quantum logic, their disadvantage i...
As a generalization of Q-algebra, the notion of pseudo Q-algebra is introduced, and some of their pr...
The maximality property was introduced in [9] in orthomodular posets as a common generalization of o...
In order to represent lattice pseudoeffect algebras, a non-commutative generalization of lattice eff...
Pseudoeffect algebras are non-commutative generalizations of effect algebras, which can serve as mod...
summary:We consider partial abelian monoids, in particular generalized effect algebras. From the giv...
Lattice effect algebras are common generalizations of MV-algebras and ortho-modular lattices ([2], [...
AbstractA survey of the algebraic and the statistical properties of sharp and unsharp quantum effect...
summary:An equivalent definition of compatibility in pseudo-effect algebras is given, and its relati...
The concept of quantum B-algebra was introduced by Rump and Yang, that is, unified algebraic semanti...
In our previous paper [1] we introduced the concept of a basic algebra, this being an algebra (A,⊕,¬...
summary:We study unbounded versions of effect algebras. We show a necessary and sufficient condition...
This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-v...
Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what bool...
summary:We deal with unbounded dually residuated lattices that generalize pseudo $MV$-algebras in su...
Although effect algebras are useful in axiomatization of unsharp quantum logic, their disadvantage i...
As a generalization of Q-algebra, the notion of pseudo Q-algebra is introduced, and some of their pr...
The maximality property was introduced in [9] in orthomodular posets as a common generalization of o...
In order to represent lattice pseudoeffect algebras, a non-commutative generalization of lattice eff...
Pseudoeffect algebras are non-commutative generalizations of effect algebras, which can serve as mod...
summary:We consider partial abelian monoids, in particular generalized effect algebras. From the giv...
Lattice effect algebras are common generalizations of MV-algebras and ortho-modular lattices ([2], [...
AbstractA survey of the algebraic and the statistical properties of sharp and unsharp quantum effect...
summary:An equivalent definition of compatibility in pseudo-effect algebras is given, and its relati...
The concept of quantum B-algebra was introduced by Rump and Yang, that is, unified algebraic semanti...
In our previous paper [1] we introduced the concept of a basic algebra, this being an algebra (A,⊕,¬...