In order to provide a unified framework for studying non-commutative algebraic logic, Rump and Yang used three axioms to define quantum B-algebras, which can be seen as implicational subreducts of quantales. Based on the work of Rump and Yang, in this paper we shall continue to investigate the properties of three axioms in quantum B-algebras. First, using two axioms we introduce the concept of generalized quantum B-algebras and prove that the opposite of the category GqBAlg of generalized quantum B-algebras is (...) equivalent to the category LogPQ of logical pre-quantales, but we can not prove that pre-quantales can be used as the injective objects in GqBAlg. Next, we use one axiom to propose the concept of C-algebras and show that a C-algebra is a group if and only if each of its elements is dualizing. Further, by dualizing elements of a C-algebra X, we can define different binary operations on X such that X is a moniod. Finally, we by the Zig–Zag relation discuss some properties of quantum B-algebras. (shrink)

An incline S is a commutative semiring where r+1=1 for any r \in S . We note that the ideal lattice of an S-semimodule is naturally an S-semimodule and so is its congruence lattice when S is transitive. We prove that the categories of complete S-semimodules, together with dual functor, internal hom and tensor product, is a ⋆-autonomous category. We define the locally and globally maximal congruences which are related to Birkhoff subdirect product decomposition. We show that the categories of (...) S-semimodules, algebraic S-semimodules and topological S-semimodules are equivalent. Finally, we get a sheaf representation of any S-semimodule. (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.