Skip to main content
SpringerLink
Log in
Book cover

International Conference on Artificial Intelligence and Computational Intelligence

AICI 2011: Emerging Research in Artificial Intelligence and Computational Intelligence pp 286–294Cite as

The Semantics of Logic System lp(X)

  • Conference paper

  • 1612 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 237))

Abstract

Lattice-valued logic plays an important role in Multi-valued logic systems. In this paper, a lattice valued logic system lp(X) is constructed. The semantics of lp(X) is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. Lukasiewicz, J.: On 3-valued logic. Ruch Filozoficizny 5, 169–170 (1920) (in Polish)

    Google Scholar 

  2. Post, E.: Introduction to a general theory of elementary propositions. American Journal of Mathematicsm 43, 163–185 (1921); Reprinted in Van Heijenoort, J.(ed.), From Frege to Godel: A source book in mathematical logic, pp. 1879–1931. Cambridge, mass. (1967)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bochar, D.A.: On a 3-valued logic calculus and its application to the analysis of contradictions. Matematiceskij Sbornik 4, 287–308 (1939) (in Russian)

    Google Scholar 

  4. Kleene, S.C.: Introduction to Metamathematics. Van Nostrand, New York (1952)

    MATH  Google Scholar 

  5. Zadeh, L.A.: fuzzy sets. Inf. Control 8, 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  6. Goguen, J.A.: The logic of inexact concepts. Synthese 19, 325–373 (1969)

    Article  MATH  Google Scholar 

  7. Bole, L., Borowik, P.: Many-valued logics. Springer, Heidelberg (1992)

    Google Scholar 

  8. Yang, X., Qin, K.: Lattice-valued Propositional Logic. Southwest Jiaotong University 2(1), 123–128 (1993)

    MATH  Google Scholar 

  9. Qin, K., Yang, X.: Lattice-valued Propositional Logic (II). Southwest Jiaotong University 1(2), 22–27 (1994)

    MATH  Google Scholar 

  10. Qin, K., Yang, X., Roh, E.H.: A First Order Lattice Valued Logic System II:Syntax. The Journal of Fuzzy Mathematics 4(9), 977–983 (2001)

    MathSciNet  MATH  Google Scholar 

  11. Yang, X., Qin, K., Liu, J., Song, Z.: L-valued propositional logic Lvpl. Int. J. Information Sciences 114, 205–235 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  12. Yang, X., Liu, J., Song, Z., Qin, K.: On semantics of L-valued first-order logic Lvfl. Int. J. General Systems 29(1), 53–79 (2000)

    Article  MATH  Google Scholar 

  13. Yang, X., Song, Z., Qin, K., Liu, J.: Syntax of L-valued first-order Logic Lvfl. Int. Multi. Val. Logic 7, 213–257 (2001)

    MathSciNet  MATH  Google Scholar 

  14. Yang, X., Da, R., Qin, K., Liu, J.: Lattice-valued logic. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  15. Li, H.: The Syntax of Lattice-valued Propositional Logic System lp(x). Journal of Donghua University (April 2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Engineering, Hanzhou Polytechnic College, 311402, Hanzhou, Zhejiang, P.R. China

    Hua Li

Authors
  1. Hua Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Business Information technology, RMIT University, GPO Box 2476V, 3000, Melbourne, Victoria, Australia

    Hepu Deng

  2. Department of Computer Science and Technology, Tongji University, Shanghai, China

    Duoqian Miao

  3. Caritas Institute of Higher Education, 18 Chui Ling Road, Tseung Kwan, Hong Kong, SAR, China

    Fu Lee Wang

  4. School of Computer and Information Engineering, Shanghai University of Electric Power, 200090, Shanghai, China

    Jingsheng Lei

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, H. (2011). The Semantics of Logic System lp(X). In: Deng, H., Miao, D., Wang, F.L., Lei, J. (eds) Emerging Research in Artificial Intelligence and Computational Intelligence. AICI 2011. Communications in Computer and Information Science, vol 237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24282-3_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24282-3_39

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24281-6

  • Online ISBN: 978-3-642-24282-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation