Quantum B-algebras, the partially ordered implicational algebras arising as subreducts of quantales, are introduced axiomatically. It is shown that they provide a unified semantic for non-commutative algebraic logic. Specifically, they cover the vast majority of implicational algebras like BCK-algebras, residuated lattices, partially ordered groups, BL- and MV-algebras, effect algebras, and their non-commutative extensions. The opposite of the category of quantum B-algebras is shown to be equivalent to the category of logical quantales, in the way that every quantum B-algebra admits a (...) natural embedding into a logical quantale, the enveloping quantale. Partially defined products of algebras related to effect algebras are handled efficiently in this way. The unit group of the enveloping quantale of a quantum B-algebra X is shown to be always contained in X, which gives a functorial subgroup X× of X. Similar subfunctors are obtained for the non-commutative extensions of BCK-algebras and effect algebras. The results of Galatos, Jónsson, and Tsinakis on the splitting of generalized BL-algebras into a semidirect product of a partially ordered group operating on an integral residuated poset are extended to a characterization of twisted semidirect products of a po-group by a quantum B-algebra. (shrink)
Quantum B‐algebras are partially ordered algebras characterizing the residuated structure of a quantale. Examples arise in algebraic logic, non‐commutative arithmetic, and quantum theory. A quantum B‐algebra with trivial partial order is equivalent to a group. The paper introduces a corresponding analogue of quantale modules. It is proved that every quantum B‐module admits an injective envelope which is a quantale module. The injective envelope is constructed explicitly as a completion, a multi‐poset version of the completion of Dedekind and MacNeille.
L-effect algebras are introduced as a class of L-algebras which specialize to all known generalizations of effect algebras with a \-semilattice structure. Moreover, L-effect algebras X arise in connection with quantum sets and Frobenius algebras. The translates of X in the self-similar closure S form a covering, and the structure of X is shown to be equivalent to the compatibility of overlapping translates. A second characterization represents an L-effect algebra in the spirit of closed categories. As an application, it is (...) proved that every lattice effect algebra is an interval in a right \-group, the structure group of the corresponding L-algebra. A block theory for generalized lattice effect algebras, and the existence of a generalized OML as the subalgebra of sharp elements are derived from this description. (shrink)
Orthomodular lattices with a two-valued Jauch–Piron state split into a generalized orthomodular lattice and its dual. GOMLs are characterized as a class of L-algebras, a quantum structure which arises in the theory of Garside groups, algebraic logic, and in connections with solutions of the quantum Yang–Baxter equation. It is proved that every GOML X embeds into a group G with a lattice structure such that the right multiplications in G are lattice automorphisms. Up to isomorphism, X is uniquely determined by (...) G, and the embedding \\) is a universal group-valued measure on X. (shrink)
In 2002, Dvurečenskij extended Mundici’s equivalence between unital abelian l -groups and MV-algebras to the non-commutative case. We analyse the relationship to Bosbach’s cone algebras and clarify the rôle of the corresponding pair of L -algebras. As a consequence, it follows that one of the two L -algebra axioms can be dropped.
The Riemann–Roch theorem for algebraic curves is derived from a theorem for Girard quantales. Serre duality is shown to be a quantalic phenomenon. An example provides a Girard quantale satisfying the Riemann–Roch theorem, where the associated curve is non-connected and irreducible.
A complete recursive description of noetherian linear _KL_-algebras is given. _L_-algebras form a quantum structure that occurs in algebraic logic, combinatorial group theory, measure theory, geometry, and in connection with solutions to the Yang-Baxter equation. It is proved that the self-similar closure of a noetherian linear _KL_-algebra is determined by its partially ordered set of primes, and that its elements admit a unique factorization by a decreasing sequence of prime elements.