Skip to main content
SpringerLink
Log in

How to Construct Formal Systems for Fuzzy Logics

  • Chapter
Book cover Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

Part of the book series: Advances in Soft Computing ((AINSC,volume 42))

  • 1302 Accesses

Abstract

In this paper, we present a sufficient and necessary condition to decide whether a weakly implicative logic has the proof by cases property (PCP for short). This result gives a general method for constructing a weakly implicative fuzzy logic from any given weakly implicative logic.

This work is supported by the National Foundation of Natural Sciences of China (Grant No: 60663002) and the Grant Project of science and technology of The Education Department of Jiangxi Province under Grant No 200618.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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. Cintula, P.: Weakly Implicative (Fuzzy) logics I. Archive for Mathematical Logic, 673-704 (2006)

    Google Scholar 

  2. Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 271-288 (2001)

    Google Scholar 

  3. Hájek, P.: Metamathematics of Fuzzy Logic. Dordrecht, Kluwer (1998)

    MATH  Google Scholar 

  4. Metcalfe, G., Montagna, F.: Substructural fuzzy logics, To appear in Journal of Symbolic Logic.

    Google Scholar 

  5. Wang, S.M., Qin, F., Wang, M.Y.: Solutions to Cintula‘s open problems. Fuzzy Sets and Systems 2091-2099 (2006)

    Google Scholar 

  6. Wang, S.M., Cintula, P.: On the proof by cases property in weakly implicative logics. Fuzzy Sets and Systems, submitted.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer, Nanchang Univ., Nanchang 330029, China

    San-min Wang

  2. College of Science, Hehai Univ., Jiangsu 210024, China

    Zhi-jun Lu

Authors
  1. San-min Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi-jun Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Oscar Castillo Patricia Melin Oscar Montiel Ross Roberto Sepúlveda Cruz Witold Pedrycz Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wang, Sm., Lu, Zj. (2007). How to Construct Formal Systems for Fuzzy Logics. In: Castillo, O., Melin, P., Ross, O.M., Sepúlveda Cruz, R., Pedrycz, W., Kacprzyk, J. (eds) Theoretical Advances and Applications of Fuzzy Logic and Soft Computing. Advances in Soft Computing, vol 42. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72434-6_60

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72434-6_60

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72433-9

  • Online ISBN: 978-3-540-72434-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation