Skip to main content
SpringerLink
Log in

Discussion on Some Tautologies

  • Conference paper
Emerging Research in Artificial Intelligence and Computational Intelligence (AICI 2012)

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

  • 1841 Accesses

Abstract

In this paper, the tautologies in some multi-valued logic systems whose truth-values are always “true” formed by direct product of two lattice implication algebras. As two examples, the tautologies in lattice-valued systems of L4P(X) and L6P (X) are discussed in detail.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Wang, G.: Nonclassical Logic and Approximate Reasoning, pp. 41–61. Science Press of China (2000)

    Google Scholar 

  2. Malinowski, G.: Many–valued Logics. The Clarendon Press, Oxford University Press, New York (1993)

    MATH  Google Scholar 

  3. Pavelka, J.: On fuzzy logic I, II, III, Zeitschrift fur math. Logik und Grundlagen d. Math. 25, 45–52,119–134,447–464 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  4. Xu, Y.: Lattice implication algebras. J. of Southweat Jiaotong University 28, 20–27 (1993)

    Google Scholar 

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

    Google Scholar 

  6. Liu, J., Xu, Y.: On certain filters of lattice implication algebras. Chinese Quarterly Journal of Mathematics 4, 106–110 (1996)

    Google Scholar 

  7. Qin, K., Xu, Y.: Lukasiewicz implication algebra on [0,1]. In: Proc. of the Fifth IFSA, Seoul, pp. 410–412 (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Engineering, Hangzhou Polytechnic College, Hanzhou, 311402, 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 Computer and Information Engineering, Shanghai University of Electric Power, 200090, Shanghai, China

    Jingsheng Lei

  2. Department of Business Administration, Caritas Institute of Higher Education, 18 Chui Ling Road, Tseung Kwan O, Hong Kong, China

    Fu Lee Wang

  3. School of Business Information Technology, RMIT University, City Campus, 124 La Trobe Street, 3000, Melbourne, Victoria, Australia

    Hepu Deng

  4. School of Electronics and Information, Tongji University, China, 201804, Shanghai, China

    Duoqian Miao

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, H. (2012). Discussion on Some Tautologies. In: Lei, J., Wang, F.L., Deng, H., Miao, D. (eds) Emerging Research in Artificial Intelligence and Computational Intelligence. AICI 2012. Communications in Computer and Information Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34240-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34240-0_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34239-4

  • Online ISBN: 978-3-642-34240-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation