Non-commutative logical algebras and algebraic quantales (Q386648): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Yi Chuan Yang / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Lavinia Corina Ciungu / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06B23 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6236878 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pseudo-BCK algebras | |||
Property / zbMATH Keywords: pseudo-BCK algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantale | |||
Property / zbMATH Keywords: quantale / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantum B-algebra | |||
Property / zbMATH Keywords: quantum B-algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
envelping quantale | |||
Property / zbMATH Keywords: envelping quantale / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantum BL-algebra | |||
Property / zbMATH Keywords: quantum BL-algebra / rank | |||
Normal rank |
Revision as of 14:02, 29 June 2023
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
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