Skip to content
Accessible Unlicensed Requires Authentication Published by De Gruyter July 19, 2019

On the finite embeddability property for quantum B-algebras

Changchun Xia
From the journal Mathematica Slovaca

Abstract

After the establishment of the finite embeddability property for integral and commutative residuated ordered monoids by Blok and Van Alten in 2002, the finite embeddability property for some other types of residuated ordered algebraic structures have been extensively studied. The main purpose of this paper is to construct a finite quantale F from a finite partial subalgebra F of an increasing quantum B-algebra X so that F can be embedded into F, that is, the class of increasing quantum B-algebras has the finite embeddability property.

  1. (Communicated by Anatolij Dvurečenskij )

References

[1] Botur, M.—Paseka, J.: Filters on some class of quantum B-algebras, Int. J. Theor. Phys. 54 (2015), 4397–4409.Search in Google Scholar

[2] Blok, W. J.—Van Alten, C. J.: The finite embeddability property for residuated lattices, pocrims and BCK-algebras, Algebra Universalis 48 (2002), 253–271.Search in Google Scholar

[3] Blok, W. J.—Van Alten, C. J.: On the finite embeddability property for residuated ordered groupoids, Trans. Amer. Math. Soc. 357 (2005), 4141–4157.Search in Google Scholar

[4] Han, S. W.—Wang, R. R.—Xu, X. T.: On the injective hulls of quantum B-algebras, Fuzzy Sets and Systems (2018), 10.1016/j.fss.2018.05.011.Search in Google Scholar

[5] Han, S. W.—Xu, X. T, Qin, F.: The unitality of quantum B-algebras, Int. J. Theor. Phys. 57 (2018), 1582–1590.Search in Google Scholar

[6] Haniková, Z.—Horčík, R.: The finite embeddability property for residuated groupoids, Algebra Universalis 72 (2014), 1–13.Search in Google Scholar

[7] Higman, G.: Ordering by divisibility in abstract algebras, Proc. London Math. Soc. s3-2 (1952), 326–336.Search in Google Scholar

[8] McKinsey, J. C. C.—Tarski, A.: On closed elements in closure algebras, Ann. Math. 47 (1946), 122–162.Search in Google Scholar

[9] Rosenthal, K. I.: Quantales and their Applications, Longman Scientific & Technical, New York, 1990.Search in Google Scholar

[10] Rump, W.: Quantum B-algebras, Cent. Eur. J. Math. 11 (2013), 1881–1899.Search in Google Scholar

[11] Rump, W.—Yang, Y. C.: Non-commutative logical algebras and algebraic quantales, Ann. Pure Appl. Logic. 165 (2014), 759–785.Search in Google Scholar

[12] Rump, W.: Multi-posets in algebraic logic, group theory, and non-commutative topology, Ann. Pure Appl. Logic 167 (2016), 1139–1160.Search in Google Scholar

[13] Rump, W.: The completion of a quantum B-algebra, Cah. Topol. Geóm. Différ. Catég. 57 (2016), 203–228.Search in Google Scholar

[14] Rump, W.: Quantum B-algebra: their omnipresence in algebraic logic and beyond, Soft Comput. 21 (2017), 2521–2529.Search in Google Scholar

[15] Van Alten, C. J.: Completion and finite embeddability property for residuated ordered algebras, Algebra Universalis 62 (2009), 419–451.Search in Google Scholar

Received: 2018-10-16
Accepted: 2018-11-28
Published Online: 2019-07-19
Published in Print: 2019-08-27

© 2019 Mathematical Institute Slovak Academy of Sciences