# Quantum B-algebras

Open Mathematics (2013)

- Volume: 11, Issue: 11, page 1881-1899
- ISSN: 2391-5455

## Access Full Article

top## Abstract

top## How to cite

topWolfgang Rump. "Quantum B-algebras." Open Mathematics 11.11 (2013): 1881-1899. <http://eudml.org/doc/269313>.

@article{WolfgangRump2013,

abstract = {The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets, cone algebras, etc., are quantum B-algebras, and every quantum B-algebra can be recovered from its spectrum which is a quantale. By a two-fold application of the functor “spectrum”, it is shown that quantum B-algebras have a completion which is again a quantale. Every quantale Q is a quantum B-algebra, and its spectrum is a bigger quantale which repairs the deficiency of the inverse residuals of Q. The connected components of a quantum B-algebra are shown to be a group, a fact that applies to normal quantum B-algebras arising in algebraic number theory, as well as to pseudo-BCI algebras and quantum BL-algebras. The logic of quantum B-algebras is shown to be complete.},

author = {Wolfgang Rump},

journal = {Open Mathematics},

keywords = {Quantale; Non-commutative logic; Partially ordered group; quantale; non-commutative logic; partially ordered group},

language = {eng},

number = {11},

pages = {1881-1899},

title = {Quantum B-algebras},

url = {http://eudml.org/doc/269313},

volume = {11},

year = {2013},

}

TY - JOUR

AU - Wolfgang Rump

TI - Quantum B-algebras

JO - Open Mathematics

PY - 2013

VL - 11

IS - 11

SP - 1881

EP - 1899

AB - The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets, cone algebras, etc., are quantum B-algebras, and every quantum B-algebra can be recovered from its spectrum which is a quantale. By a two-fold application of the functor “spectrum”, it is shown that quantum B-algebras have a completion which is again a quantale. Every quantale Q is a quantum B-algebra, and its spectrum is a bigger quantale which repairs the deficiency of the inverse residuals of Q. The connected components of a quantum B-algebra are shown to be a group, a fact that applies to normal quantum B-algebras arising in algebraic number theory, as well as to pseudo-BCI algebras and quantum BL-algebras. The logic of quantum B-algebras is shown to be complete.

LA - eng

KW - Quantale; Non-commutative logic; Partially ordered group; quantale; non-commutative logic; partially ordered group

UR - http://eudml.org/doc/269313

ER -

## References

top- [1] van Alten C.J., On varieties of biresiduation algebras, Studia Logica, 2006, 83(1–3), 425–445 http://dx.doi.org/10.1007/s11225-006-8312-6 Zbl1099.03057
- [2] Bigard A., Keimel K., Wolfenstein S., Groupes et Anneaux Réticulés, Lecture Notes in Math., 608, Springer, Berlin-New York, 1977
- [3] Borceux F., Rosický J., Van den Bossche G., Quantales and C*-algebras, J. London Math. Soc., 1989, 40(3), 398–404 http://dx.doi.org/10.1112/jlms/s2-40.3.398
- [4] Bosbach B., Komplementäre Halbgruppen, Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen, Math. Ann., 1965, 161, 279–295 http://dx.doi.org/10.1007/BF01359910 Zbl0154.01702
- [5] Bosbach B., Concerning cone algebras, Algebra Universalis, 1982, 15(1), 58–66 http://dx.doi.org/10.1007/BF02483708
- [6] Connes A., Noncommutative Geometry, Academic Press, San Diego, 1994
- [7] Dudek W.A., Yun Y.B., Pseudo-BCI algebras, East Asian Mathematical Journal, 2008, 24(2), 187–190 Zbl1149.06010
- [8] Dunn J.M., Gehrke M., Palmigiano A., Canonical extensions and relational completeness of some substructural logics, J. Symbolic Logic, 2005, 70(3), 713–740 http://dx.doi.org/10.2178/jsl/1122038911 Zbl1101.03021
- [9] Dvurečenskij A., Vetterlein T., Pseudoeffect algebras. I. Basic properties, Internat. J. Theoret. Phys., 2001, 40(3), 685–701 http://dx.doi.org/10.1023/A:1004192715509 Zbl0994.81008
- [10] Dvurečenskij A., Vetterlein T., Pseudoeffect algebras. II. Group representations, Internat. J. Theoret. Phys., 2001, 40(3), 703–726 http://dx.doi.org/10.1023/A:1004144832348 Zbl0994.81009
- [11] Dvurečenskij A., Vetterlein T., Algebras in the positive cone of po-groups, Order, 2002, 19(2), 127–146 http://dx.doi.org/10.1023/A:1016551707476 Zbl1012.03064
- [12] Galatos N., Tsinakis C., Generalized MV-algebras, J. Algebra, 2005, 283(1), 254–291 http://dx.doi.org/10.1016/j.jalgebra.2004.07.002
- [13] Gehrke M., Jónsson B., Bounded distributive lattices with operators, Math. Japon., 1994, 40(2), 207–215 Zbl0855.06009
- [14] Gehrke M., Jónsson B., Bounded distributive lattice expansions, Math. Scand., 2004, 94(1), 13–45 Zbl1077.06008
- [15] Gehrke M., Priestley H.A., Canonical extensions and completions of posets and lattices, Rep. Math. Logic, 2008, 43, 133–152 Zbl1147.06005
- [16] Georgescu G., Iorgulescu A., Pseudo-MV algebras: a noncommutative extension of MV algebras, In: Information Technology, Bucharest, May 6–9, 1999, Inforec, Bucharest, 1999, 961–968 Zbl0985.06007
- [17] Georgescu G., Iorgulescu A., Pseudo-BCK algebras: an extension of BCK algebras, In: Combinatorics, Computability and Logic, Constanţa, July 2–6, 2001, Springer Ser. Discrete Math. Theor. Comput. Sci., Springer, London, 2001, 97–114 http://dx.doi.org/10.1007/978-1-4471-0717-0_9 Zbl0986.06018
- [18] Giles R., Kummer H., A non-commutative generalization of topology, Indiana Univ. Math. J., 1971, 21(1), 91–102 http://dx.doi.org/10.1512/iumj.1972.21.21008 Zbl0219.54003
- [19] Goldblatt R., Varieties of complex algebras, Ann. Pure Appl. Logic, 1989, 44(3), 173–242 http://dx.doi.org/10.1016/0168-0072(89)90032-8
- [20] Jónsson B., Tarski A., Boolean algebras with operators. I, Amer. J. Math., 1951, 73(4), 891–939 http://dx.doi.org/10.2307/2372123 Zbl0045.31505
- [21] Jónsson B., Tarski A., Boolean algebras with operators. II, Amer. J. Math., 1952, 74(1), 127–162 http://dx.doi.org/10.2307/2372074 Zbl0045.31601
- [22] Jun Y.B., Kim H.S., Neggers J., On pseudo-BCI ideals of pseudo-BCI algebras, Mat. Vesnik, 2006, 58(1–2), 39–46 Zbl1119.03068
- [23] Kondo M., Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup, Int. J. Math. Math. Sci., 2001, 28(9), 535–543 http://dx.doi.org/10.1155/S0161171201010985 Zbl1007.06014
- [24] Kruml D., Resende P., On quantales that classify C*-algebras, Cah. Topol. Géom. Différ. Catég., 2004, 45(4), 287–296 Zbl1076.46054
- [25] Kühr J., Pseudo BCK-algebras and residuated lattices, In: Contributions to General Algebra, 16, Dresden, June 10–13, Malá Morávka, September 5–11, 2004, Heyn, Klagenfurt, 2005, 139–144
- [26] Kühr J., Pseudo-BCK Algebras and Related Structures, Habilitation Thesis, University of Olomouc, 2007 Zbl1140.06008
- [27] Mulvey C.J., &, In: Second Topology Conference, Taormina, April 4–7, 1984, Rend. Circ. Mat. Palermo, 1986, Suppl. 12, 99–104
- [28] Mulvey C.J., Pelletier J.W., On the quantisation of points, J. Pure Appl. Algebra, 2001, 159(2–3), 231–295 http://dx.doi.org/10.1016/S0022-4049(00)00059-1 Zbl0983.18007
- [29] Mulvey C.J., Pelletier J.W., On the quantisation of spaces, J. Pure Appl. Algebra, 2002, 175(1–3), 289–325 http://dx.doi.org/10.1016/S0022-4049(02)00139-1 Zbl1026.06018
- [30] Mulvey C.J., Resende P., A noncommutative theory of Penrose tilings, Internat. J. Theoret. Phys., 2005, 44(6), 655–689 http://dx.doi.org/10.1007/s10773-005-3997-2 Zbl1087.52509
- [31] Nguyen T.Z., Torus actions and integrable systems, In: Topological Methods in the Theory of Integrable Systems, Camb. Sci. Publ., Cambridge, 2006, 289–328 Zbl1329.37054
- [32] Ono H., Semantics for substructural logics, In: Substructural Logics, Tübingen, October 7–8, 1990, Stud. Logic Comput., 2, Oxford University Press, New York, 1993, 259–291 Zbl0941.03522
- [33] Ono H., Komori Y., Logics without the contraction rule, J. Symbolic Logic, 1985, 50(1), 169–201 http://dx.doi.org/10.2307/2273798 Zbl0583.03018
- [34] Protin M.C., Resende P., Quantales of open groupoids, J. Noncommut. Geom., 2012, 6(2), 199–247 http://dx.doi.org/10.4171/JNCG/90 Zbl1253.06019
- [35] Resende P., Étale groupoids and their quantales, Adv. Math., 2007, 208(1), 147–209 http://dx.doi.org/10.1016/j.aim.2006.02.004 Zbl1116.06014
- [36] Rump W., Yang Y.C., Non-commutative logical algebras and algebraic quantales (manuscript) Zbl1322.03049
- [37] Ward M., Dilworth R.P., Residuated lattices, Trans. Amer. Math. Soc., 1939, 45(3), 335–354 http://dx.doi.org/10.1090/S0002-9947-1939-1501995-3

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.