Algebras in the positive cone of po-groups
From MaRDI portal
Publication:698445
DOI10.1023/A:1016551707476zbMath1012.03064OpenAlexW42295006MaRDI QIDQ698445
Anatolij Dvurečenskij, Thomas Vetterlein
Publication date: 18 September 2002
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016551707476
BCK-algebrasgeneralized effect algebrascone algebrasgeneralized difference posetsgeneralized pseudoeffect algebraspo-groupspositive minimal clanssemiclans
BCK-algebras, BCI-algebras (06F35) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Ordered semigroups and monoids (06F05) Quantum logic (03G12) Ordered groups (06F15)
Related Items
Uniqueness of algebraic unitizations of generalized pseudo effect algebras, BCK-monoids, Unitizations of generalized pseudo effect algebras and their ideals, Multi-posets in algebraic logic, group theory, and non-commutative topology, Structure groups of \(L\)-algebras and Hurwitz action, Riesz ideals in generalized pseudo effect algebras and in their unitizations, Pseudo-BCK algebras and PD-posets, E-perfect effect algebras, On a new construction of pseudo effect algebras, Non-commutative logical algebras and algebraic quantales, The structure group of a non-degenerate effect algebra, The geometry of discrete \(L\)-algebras, Pseudo-BCK algebras as partial algebras, Measures, states and de Finetti maps on pseudo-BCK algebras, \(L\)-effect algebras, Cantor-Bernstein theorem for pseudo-BCK-algebras, Prelattice-generalized pseudo-effect algebras, Quantum B-algebras, On two versions of the Loomis-Sikorski theorem for algebraic structures, Deductive systems of a cone algebra — I: Semi-ℓg-cones, Commutative extended BCK-algebras, Congruences and ideals in generalized pseudoeffect algebras revisited, Monadic pseudo BCI-algebras and corresponding logics, Weak commutative pseudoeffect algebras, Generalized pseudo-EMV-effect algebras, Representations of pseudo Vitali spaces and Loomis–Sikorski theorem, On the structure of linearly ordered pseudo-BCK-algebras, Unitizing a generalized pseudo effect algebra.
