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 X̂F from a finite partial subalgebra F of an increasing quantum B-algebra X so that F can be embedded into X̂F, that is, the class of increasing quantum B-algebras has the finite embeddability property.
This work was supported by the National Natural Science Foundation of China (Grant no. 11531009) and the Postdoctoral Science Foundation of China (Grant no. 2019M653577)
(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.10.1007/s10773-015-2608-0Search 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.10.1007/s000120200000Search 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.10.1090/S0002-9947-04-03654-2Search 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.10.1007/s10773-018-3683-9Search in Google Scholar
[6] Haniková, Z.—Horčík, R.: The finite embeddability property for residuated groupoids, Algebra Universalis 72 (2014), 1–13.10.1007/s00012-014-0284-1Search in Google Scholar
[7] Higman, G.: Ordering by divisibility in abstract algebras, Proc. London Math. Soc. s3-2 (1952), 326–336.10.1112/plms/s3-2.1.326Search in Google Scholar
[8] McKinsey, J. C. C.—Tarski, A.: On closed elements in closure algebras, Ann. Math. 47 (1946), 122–162.10.2307/1969038Search 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.10.2478/s11533-013-0302-0Search in Google Scholar
[11] Rump, W.—Yang, Y. C.: Non-commutative logical algebras and algebraic quantales, Ann. Pure Appl. Logic. 165 (2014), 759–785.10.1016/j.apal.2013.10.007Search 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.10.1016/j.apal.2016.05.001Search 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.10.1007/s00500-017-2570-2Search in Google Scholar
[15] Van Alten, C. J.: Completion and finite embeddability property for residuated ordered algebras, Algebra Universalis 62 (2009), 419–451.10.1007/s00012-010-0060-9Search in Google Scholar
© 2019 Mathematical Institute Slovak Academy of Sciences
