Skip to main content
SpringerLink
Log in

A 16-classification partition of formula set F(S) in revised Kleene system \(\bar W\)

  • Original Paper
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

This paper presents an exact expression of V(A) which is an unique formula A of formula set F(S) in revised Kleene system \(\bar W.\) It also obtains a 16-classification congruence partition about unary operation ¬, combing with generalized tautology theory, and discusses each one’s closeness about MP and HS operations.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

References

  • Dubois D, Lang J, Prade H (1991) Fuzzy sets in approximate reasoning Part 2: logical approaches. Fuzzy Sets Syst 40:203–244

    Google Scholar 

  • Wang GJ (1998) Theory of Σ-(α-tautologies) in revised Kleene systems. Sci China Ser E 41:188–195

    Google Scholar 

  • Wang GJ (2000) Non-classical mathematical logic and approximate reasoning (in Chinese). Science Press, Beijing

    Google Scholar 

  • Wang GJ (1999) On the logic foundation of fuzzy reasoning. Inf Sci 117:47–88

    Google Scholar 

  • Wang GJ, Wang H (2001) Non-fuzzy versions of fuzzy reasoning in classical logics. Inf Sci 138:211–236

    Google Scholar 

  • Fodor JC (1995) Contrapositive symmetry of fuzzy implications. Fuzzy Sets Syst 69:141–156

    Google Scholar 

  • Fodor J (1995) Nilpotent minimum and related connectives for fuzzy logic. Proc Fuzzy-IEEE’95, pp 2077–2082

  • Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht

    Google Scholar 

  • Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288

    Google Scholar 

  • Cignoli R, Esteva F, Godo L, Montagna F (2002) On a class of left-continuous t-norms. Fuzzy Sets Syst 131:283–296

    Google Scholar 

  • Klement EP, Navara M (1999) A survey on different triangular norm-based fuzzy logics. Fuzzy Sets Syst 101:241–251

    Google Scholar 

  • Pei DW (2002) R0 implication: characteristics and applications. Fuzzy Sets Syst 131:297–302

    Google Scholar 

  • Pei DW (2003) On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst 138:187–195

    Google Scholar 

  • Wang LC, Wang GJ (2004) Subalgebra and generalized tautology of R0-Algebra in [0,1] (in Chinese). Acta Math Sin 47:521–526

    Google Scholar 

  • Wu HB (2001) Theory of generalized tautology in revised Kleene system. Sci China Ser E 44:233–238

    MathSciNet  Google Scholar 

  • Wang GJ (1997) A formal deductive system for fuzzy propositional calculus (in Chinese). Chinese Sci Bull 42:1041–1045

    CAS  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Shaanxi Normal University, Xi’an, 710062, People’s Republic of China

    Cheng Han, Guojun Wang & Wenyan Xu

  2. Yancheng Teachers College, Jiangsu, 224002, People’s Republic of China

    Cheng Han

Authors
  1. Cheng Han
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guojun Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wenyan Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cheng Han.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Han, C., Wang, G. & Xu, W. A 16-classification partition of formula set F(S) in revised Kleene system \(\bar W\). Soft Comput 10, 115–118 (2006). https://doi.org/10.1007/s00500-004-0431-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-004-0431-2

Keywords

Search

Navigation