Abstract
Quantum B-algebras as a generalization of quantales were introduced by Rump and Yang, which cover the majority of implicational algebras and provide a unified semantic for a wide class of substructural logics. Unital quantum B-algebras play an important role in the classification of implicational algebras. The main purpose of this paper is to construct unital quantum B-algebras from non-unital quantum B-algebras.
Similar content being viewed by others
References
Blyth, T.S.: Lattices and Ordered Algebraic Structures. Springer-Verlag, London (2005)
Botur, M., Paseka, J.: Filters on some clases of quantum B-algebras. Int. J. Theor. Phys. 54, 4397–4409 (2015)
Dudek, W.A., Yun, Y.B.: Pseudo-BCI algebras. East Asian Math. J. 24, 187–190 (2008)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructral Logics. Stud. Logic Found Math., vol. 51. Elsevier, Amsterdam (2007)
Georgescu, G., Iorgulescu, A.: Pseudo MV-algebras. Mult.-Valued Log. 6, 95–135 (2001)
Han, S., Zhao, B.: Remark on the unital quantale Q[e]. Appl. Categor. Struct. 20, 239–250 (2012)
Jipsen, P., Montagna, F.: On the structure of generalized BL-algebras. Algebra Univers. 55, 226–237 (2006)
Kruml, D., Paseka, J.: Algebraic and categorical aspects of quantales. Handbook of Algebra, vol. 5, pp. 323–362. Elsevier, Amsterdam (2008)
Kühr, J.: Pseudo-BCK Algebras and Related Structures. Habilitation Thesis, University of Olomouc, Olomouc (2007)
Mulvey, C.J.: . In: Second Topology Conference, Taormina, April 4-7, 1984. Suppl. Rend. Circ. Math. Palermo ser, vol. II 12, pp. 99–104 (1986)
Paseka, J., Kruml, D.: Embeddings of quantales into simple quantales. J. Pure Appl. Algebra 148, 209–216 (2000)
Rosenthal, K.I.: Quantales and their applications. Longman Scientific & Technical, London (1990)
Rump, W.: Quantum B-algebras. Cent. Eur. J. Math. 11, 1881–1899 (2013)
Rump, W., Yang, Y.C.: Non-commutative logical algebras and algebraic quantales. Ann. Pure Appl. Logic 165, 759–785 (2014)
Rump, W.: The completion of a quantum B-algebra. Cah. Topol. Géom. Différ. Catég. 57, 203–228 (2016)
Rump, W.: Multi-posets in algebraic logic, group theory, and non-commutative topology. Ann. Pure Appl. Logic 167, 1139–1160 (2016)
Rump, W.: Quantum B-algebras: their omnipresence in algebraic logic and beyond. Soft Compt. 21, 2521–2529 (2017)
Acknowledgements
We wish to express our sincere thanks to the anonymous referee for careful reading of the manuscript, and for useful suggestions and valuable comments which helped to improve the presentation of the results.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the National Natural Science Foundation of China (11531009, 61563020) and the Fundamental Research Funds for the Central Universities (GK201501001).
Rights and permissions
About this article
Cite this article
Han, S., Xu, X. & Qin, F. The Unitality of Quantum B-algebras. Int J Theor Phys 57, 1582–1590 (2018). https://doi.org/10.1007/s10773-018-3683-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-018-3683-9