Non-commutative logical algebras and algebraic quantales (Q386648)

Quantum B-algebras are the partially ordered implicational algebras arising as subreducts of quantales. The authors show that the opposite of the category of quantum B-algebras is 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. They prove that the unit group of the enveloping quantale of a quantum B-algebra \(X\) is always contained in \(X\), which gives a functorial subgroup \(X^X\) of \(X\). The results of \textit{N. Galatos} and \textit{C. Tsinakis} [J. Algebra 283, No. 1, 254--291 (2005; Zbl 1063.06008)] and \textit{B. Jónsson} and \textit{C. Tsinakis} [Stud. Log. 77, No. 2, 267--292 (2004; Zbl 1072.06003)] 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.