Skip to main content
SpringerLink
Log in
Book cover

Foundations of Intelligent Systems pp 355–364Cite as

Further Research of Generated Filters in Lattice Implication Algebra

  • Conference paper

  • 1638 Accesses

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

Abstract

In this paper we combining LHIA research the generated filters of lattice implication algebra. Firstly some new properties of lattice implication algebra are discussed. Then a structure of generated filter of two filters’ union is obtained. Finally some elementary properties are given and a simple proof of(F(L), ∨ , ∧ )is a complete distributive lattice is also obtained.

This is a preview of subscription content, 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   429.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   549.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Xu, Y.: Lattice implication algebras. J. Southwest Jiaotong University 28, 20–27 (1993) (in Chinese)

    Google Scholar 

  2. Xu, Y., Qin, K.Y.: On filters of lattice implication algebras. J. Fuzzy Math. 1, 251–260 (1993)

    MathSciNet  MATH  Google Scholar 

  3. Xu, Y., Ruan, D., Qin, K.Y.: Lattice-Valued Logic. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  4. Xu, Y., Qin, K.Y.: Lattice H implication algebras and lattice implication algebra classes. J. Hebei Mining and Civil Engineering Institute 3, 139–143 (1992)

    Google Scholar 

  5. Liu, J., Xu, Y.: Filters and structure of lattice implication algebras. Chinese Science Bulletin 42(18), 1517–1520 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  6. Xu, Y., Qin, K.Y., Roh, E.H.: On prime filters of lattice H implication algebras. Int. J. Fuzzy Math. 9(3), 583–588 (2001)

    MathSciNet  MATH  Google Scholar 

  7. Haveshki, M., Saeid, A.B., Eslami, E.: Some types of filters in BL-algebras. Soft. Comput. 10, 657–664 (2006)

    Article  MATH  Google Scholar 

  8. Hu, M.D., Lou, Z.G.: Normal MP-filters and prime filters of an implication lattice. J. Shandong University (Natural Science) 43(10), 31–35 (2008) (in Chinese)

    MathSciNet  MATH  Google Scholar 

  9. Li, J.C., Zhang, W.X.: Quasi-Fuzzy Valuations on HFI-Algebras. Fuzzy Systems and Mathematics 12(4), 1–3 (2000) (in Chinese)

    Google Scholar 

  10. Huang, T.M., Xu, Y., Zhao, H.L., Wu, J.L.: Lattice Order Introduction and the Application. Journal of Southwest Jiaotong University (1998) (in Chinese)

    Google Scholar 

  11. Li, H.M., Pei, Z., Meng, D., Xu, Y.: Some Remarks on Structure of Lattice Implication Algebras. Fuzzy Systems and Mathematics 17(4), 20–24 (2003) (in Chinese)

    MathSciNet  Google Scholar 

  12. Jun, Y.B., Xu, Y., Qin, K.Y.: Positive implicative and associative filters of lattice implication algebras. Bull. Korean Math. Soc. 35(1), 53–61 (1998)

    MathSciNet  MATH  Google Scholar 

  13. Xu, Y., Qin, K.Y.: Fuzzy lattice implication algebras. Southwest Jiaotong University 2, 121–127 (1995)

    Google Scholar 

  14. Zhu, Y.Q., Xu, Y.: On filter theory of residuated lattices. Information Sciences 180, 3614–3632 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  15. Dilworth, R.P., Ward, M.: Residuated lattices. Trans. Am. Math. Soc. 45, 335–354 (1939)

    Article  MathSciNet  Google Scholar 

  16. Xu, Y., Qin, K.Y.: The(S)condition in lattice implication algebras. J. Decision and Operation 2, 2039–2044 (1992)

    Google Scholar 

  17. Qin, K.Y.: Study of lattice-valued logic system and its application based on lattice implication algebra, Ph.D. thesis. Southwest Jiaotong University, Chengdu, China (1996)

    Google Scholar 

  18. Turunen, E.: Boolean deductive systems of BL-algebras. Arch. Math. Logic 40, 467–473 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, 610031, China

    Ling Guo & Yang Xu

  2. Basic Department, Hebei Engineering and Technical College, Changzhou, 061001, China

    Shaokun Du

Authors
  1. Ling Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yang Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shaokun Du
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiao Tong University, 800 Dongchuan Road, 200240, Shanghai, China

    Yinglin Wang

  2. School of Information Science and Technology, Southwest Jiaotong University, 610031, Chengdu, Sichuan Province, China

    Tianrui Li

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Guo, L., Xu, Y., Du, S. (2011). Further Research of Generated Filters in Lattice Implication Algebra. In: Wang, Y., Li, T. (eds) Foundations of Intelligent Systems. Advances in Intelligent and Soft Computing, vol 122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25664-6_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25664-6_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25663-9

  • Online ISBN: 978-3-642-25664-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation