Skip to main content
SpringerLink
Log in

Ideal-Convergence in Quantales

  • Conference paper
Nonlinear Mathematics for Uncertainty and its Applications

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 100))

  • 1870 Accesses

Abstract

In this paper, some important properties of points in quantale are discussed. Based on which we constructed the convergence structure on quantale by ideal and point, and some important properties are obtained.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S., Vickers, S.: Quantales,observational logic and process semantics. Math. Struct. Comput. Sci. 3, 161–227 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  2. Berni-Canani, U., Borceux, F., Succi-Cruciani, R.: A theory of quantale sets. Journal of Pure and Applied Algebra 62, 123–136 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  3. Borceux, F., Vanden Bossche, G.: Quantales and their sheaves. Order 3, 61–87 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  4. Brown, C., Gurr, D.: A representation theorem for quantales. Journal of Pure and Applied Algebra 85, 27–42 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  5. Coniglio, M.E., Miraglia, F.: Modules in the category of sheaves over quantales. Annals of Pure and Applied Logic 108, 103–136 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  7. Han, S.W., Zhao, B.: The quantic conuclei on quantales. Algebra Universalis 61(1), 97–114 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Johnstone, P.T.: Stone spaces. Cambridge University Press, London (1982)

    MATH  Google Scholar 

  9. Kruml, D.: Spatial quantales. Applied Categorial Structures 10, 49–62 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  10. Li, Y.M., Zhou, M., Li, Z.H.: Projectives and injectives in the category of quantales. Journal of Pure and Applied Algebra 176(2), 249–258 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  11. Liang, J.H.: Convergence and Cauchy Structures on Locales. Acta Mathematica Sinica (Chinses Series) 38(3), 294–300 (1995)

    MATH  Google Scholar 

  12. Liang, S.H., Zhao, B.: Continuous Quantale and Its Category Properties. Journal of Shanxi Normal University (Natural Science Edition) 36(5), 1–5 (2008)

    MathSciNet  MATH  Google Scholar 

  13. Liang, S.H., Zhao, B.: Resarches on Some Properties of Strongly Fs-poset. Journal of Shandong University (Natural Science Edition) 44(8), 51–55 (2009)

    MathSciNet  MATH  Google Scholar 

  14. Liang, S.H., Zhao, B.: Generalized inverse of quantale matrixs and its positive definiteness. Fuzzy Systems and Mathematics 23(5), 51–55 (2009)

    MathSciNet  Google Scholar 

  15. Liang, S.H., Zhao, B.: Congruence and nucleus of double quantale module. Journal of Sichuan University (Natural Science Edition) 48(1), 13–18 (2010)

    Google Scholar 

  16. Liu, Z.B., Zhao, B.: Algebraic properties of category of quantale. Acta Mathematica Sinica (Chinese Series) 49(6), 1253–1258 (2006)

    MathSciNet  MATH  Google Scholar 

  17. Miraglia, F., Solitro, U.: Sheaves over right sided idempotent quantales. Logic J. IGPL 6(4), 545–600 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  18. Mulvey, C.J.: &,Suppl. Rend. Circ. Mat. Palermo Ser. 12, 99–104 (1986)

    MathSciNet  MATH  Google Scholar 

  19. Mulvey, C.J., Resende, P.: A noncommutative theory of penrose tilings. Internation Journal of Theoretical Physics 44(6), 655–689 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  20. Nawaz, M.: Quantales:quantale sets. Ph.D.Thesis, University of Sussex (1985)

    Google Scholar 

  21. Niefield, S., Rosenthal, K.I.: Strong De Morgan’s law and the spectrum of a commutative ring. Journal of Algebra 93, 169–181 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  22. Paseka, J.: A note on Girard bimodules. International Journal of Theoretical Physics 39(3), 805–812 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  23. Picado, J.: The quantale of Galois connections. Algebra Universalis 52, 527–540 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  24. Resende, P.: Quantales, finite observations and strong bisimulation. Theoretical Computer Science 254, 95–149 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  25. Resende, P.: Tropological systems are points of quantales. Journal of Pure and Applied Algebra 173, 87–120 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  26. Resende, P.: Topological systems are points of quantales. Journal of Pure and Applied Algebra 173(1), 87–120 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  27. Resende, P.: Sup-lattice 2-forms and quantales. Journal of Algebra 276, 143–167 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  28. Resende, P.: Etale groupoids and their quantales. Advances in Mathematics 208(1), 147–209 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  29. Rosenthal, K.I.: Quantales and Their Applications. Longman Scientific and Technical, London (1990)

    MATH  Google Scholar 

  30. Rosenthal, K.I.: A general approach to Gabriel filters on quantales. Communications in Algebra 20(11), 3393–3409 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  31. Russo, C.: Quantale modules, with applications to logic and image processing, Ph.D.Thesis.Salerno: university of Salerno (2007)

    Google Scholar 

  32. Solovyov, S.: On the category Q-Mod. Algebra universalis 58(1), 35–58 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  33. Sun, S.H.: Remarks on quantic nuclei. Math. Proc. Camb. Phil. Soc. 108, 257–260 (1990)

    Article  MATH  Google Scholar 

  34. Vermeulen, J.J.C.: Proper maps of locales. Journal of Pure and Applied Algebra 92, 79–107 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  35. Zhao, B., Liang, S.H.: The categorgy of double quantale modules. Acta Mathematica Sinica,Chinese Series 52(4), 821–832 (2009)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Xi’an University of Science and Technology, Xi’an, 710054, P.R. China

    Shaohui Liang

Authors
  1. Shaohui Liang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Applied Sciences, Beijing University of Technology, 100 Pingleyuan, 100124, Chaoyang District, Beijing, P.R. China

    Shoumei Li , Xia Wang  & Li Guan ,  & 

  2. Department of Systems Design and Informatics, Kyushu Institute of Technology, 680-4, Kawazu, 820-8502, lizuka, Japan

    Yoshiaki Okazaki

  3. Department of Mathematics, Shinshu University, 4-17-1 Wakasato, 380-8553, Nagano, Japan

    Jun Kawabe

  4. Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology, 4259-G3-47, Nagatsuta, Midori-ku, 226-8502, Yokohama, Japan

    Toshiaki Murofushi

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liang, S. (2011). Ideal-Convergence in Quantales. In: Li, S., Wang, X., Okazaki, Y., Kawabe, J., Murofushi, T., Guan, L. (eds) Nonlinear Mathematics for Uncertainty and its Applications. Advances in Intelligent and Soft Computing, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22833-9_84

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22833-9_84

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22832-2

  • Online ISBN: 978-3-642-22833-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation