On the finite embeddability property for quantum B-algebras
-
Changchun Xia
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
Articles in the same Issue
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
Articles in the same Issue
- Regular papers
- On the finite embeddability property for quantum B-algebras
- A dual Ramsey theorem for finite ordered oriented graphs
- On EMV-Semirings
- A nonsymmetrical matrix and its factorizations
- On weakly 𝓗-permutable subgroups of finite groups
- The left Riemann-Liouville fractional Hermite-Hadamard type inequalities for convex functions
- A geometrical version of Hardy-Rellich type inequalities
- On a Choquet-Stieltjes type integral on intervals
- Uniqueness of meromorphic functions sharing four small functions on annuli
- A subclass of uniformly convex functions and a corresponding subclass of starlike function with fixed coefficient associated with q-analogue of Ruscheweyh operator
- Functions of bounded variation related to domains bounded by conic sections
- Unified solution of Fekete-Szegö problem for subclasses of starlike mappings in several complex variables
- Oscillatory criteria for the second order linear ordinary differential equations
- When deviation happens between rough statistical convergence and rough weighted statistical convergence
- The retraction of certain banach right modules associated to a character
- On sequence spaces generated by binomial difference operator of fractional order
- Some refinements of young type inequality for positive linear map
- On the Gromov-Hausdorff limit of metric spaces
- The beta exponentiated Nadarajah-Haghighi distribution: theory, regression model and application
- Hilbert algebras with supremum generated by finite chains
