Advertisement

Dual quantum B-algebras

  • Fangfang PanEmail author
Foundations
  • 87 Downloads

Abstract

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.

Keywords

Quantale Quantum B-algebra Unital quantum B-algebra Dual quantum B-algebra Girard quantum B-algebra 

Notes

Acknowledgements

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.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.

References

  1. Botur M, Paseka J (2015) Filters on some classes of quantum B-algebras. Int J Theor Phys 54:4397–4409MathSciNetCrossRefzbMATHGoogle Scholar
  2. 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
  3. Grätzer G (1978) General lattice theory. Academic, New YorkCrossRefzbMATHGoogle Scholar
  4. Han SW, Zhao B (2009) The quantic conuclei on quantales. Algebra Univ 61:97–114MathSciNetCrossRefzbMATHGoogle Scholar
  5. Han SW, Zhao B (2011) Nuclei and conuclei on residuated lattices. Fuzzy Sets Syst 172:51–70MathSciNetCrossRefzbMATHGoogle Scholar
  6. Han SW, Xu XT, Qin F (2018a) The unitality of quantum B-algebras. Int J Theor Phys 57:1582–1590MathSciNetCrossRefzbMATHGoogle Scholar
  7. 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
  8. 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
  9. Li YM (2001) Noncommutative linear logic and its quantale semantics. J Shaanxi Norm Univ (Nat Sci Ed) 29:1–5 (in Chinese)MathSciNetzbMATHGoogle Scholar
  10. Rosenthal KI (1990) Quantales and their applications. Longman Scientific & Technical, New YorkzbMATHGoogle Scholar
  11. Rump W (2013) Quantum B-algebras. Cent Eur J Math 11:1881–1899MathSciNetzbMATHGoogle Scholar
  12. Rump W (2016a) The completion of a quantum B-algebra. Cah Topol Géom Différ Catég 57:203–228MathSciNetzbMATHGoogle Scholar
  13. Rump W (2016b) Multi-posets in algebraic logic, group theory and non-commutative topology. Ann Pure Appl Log 167:1139–1160MathSciNetCrossRefzbMATHGoogle Scholar
  14. Rump W (2017) Quantum B-algebras: their omnipresence in algebraic logic and beyond. Soft Comput 21:2521–2529CrossRefzbMATHGoogle Scholar
  15. Rump W, Yang YC (2014) Non-commutative logical algebras and algebraic quantales. Ann Pure Appl Log 165:759–785MathSciNetCrossRefzbMATHGoogle Scholar
  16. Yetter DN (1990) Quantales and (noncommutative) linear logic. J Symb Log 55:41–64MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Department of MathematicsXi’an University of Posts and TelecommunicationsXi’anPeople’s Republic of China

Personalised recommendations