Non-commutative logical algebras and algebraic quantales (Q386648)

From MaRDI portal
Revision as of 23:33, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Non-commutative logical algebras and algebraic quantales
scientific article

    Statements

    Non-commutative logical algebras and algebraic quantales (English)
    0 references
    0 references
    0 references
    10 December 2013
    0 references
    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.
    0 references
    pseudo-BCK algebras
    0 references
    quantale
    0 references
    quantum B-algebra
    0 references
    envelping quantale
    0 references
    quantum BL-algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references