Dual quantum B-algebras
- 87 Downloads
Quantum B-algebras as implicational subreducts of quantales were introduced by Rump and Yang. They cover the majority of implicational algebras and provide a unified semantics for a wide class of algebraic logics. Some concepts for quantales survive in the framework of quantum B-algebras. In this paper, we first introduce the concept of dual quantum B-algebras (Girard quantum B-algebras). Next, we prove that every dual quantum B-algebra is a residuated poset and that complete dual quantum B-algebras and dual quantales are equivalent to each other. Further, we consider the construction of Girard quantum B-algebras from dual quantum B-algebras.
KeywordsQuantale Quantum B-algebra Unital quantum B-algebra Dual quantum B-algebra Girard quantum B-algebra
I first express my gratitude to the Natural Science Program for Basic Research of Shaanxi Province, China (Grant No. 2017JM1015), and I also would like to thank the referees for some of their comments and suggestions for the improvement of this paper.
Compliance with ethical standards
Conflict of interest
The author declares that their is no conflict of interest.
This article does not contain any studies with human participants or animals performed by any of the authors.
- Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logic. In: Hazewinkel M (ed) Studies in logic and the foundations of mathematics, vol 151. Elsevier, AmsterdamGoogle Scholar
- Han SW, Wang RR, Xu XT (2018b) On the injective hulls of quantum B-algebras. Fuzzy Sets Syst. https://doi.org/10.1016/j.fss.2018.05.011
- Kruml D, Paseka J (2008) Algebraic and categorical aspects of quantales. In: Suppes P, Abramsky S, Artemov S, Gabbay DM, Kechris A, Pillay A, Shore RA (eds) Handbook of algebra, vol 5. Elsevier, Amsterdam, pp 323–362Google Scholar