메뉴 건너뛰기




Volumn 152, Issue 2, 2005, Pages 303-320

Simplification and independence of axioms of fuzzy logic systems IMTL and NM

Author keywords

Fuzzy logic; Independence; Involutive monoidal t norm based logic; Nilpotent minimum logic; Simplification

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; GRAPH THEORY; MATHEMATICAL MODELS; PROBABILITY;

EID: 17444399318     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2004.12.002     Document Type: Article
Times cited : (10)

References (25)
  • 1
    • 0000817320 scopus 로고    scopus 로고
    • Basic logic is the logic of continuous t-norms and their residua
    • R. Cignoli, F. Esteva, and L. Godo Basic logic is the logic of continuous t-norms and their residua Soft-computing 4 2000 106 112
    • (2000) Soft-computing , vol.4 , pp. 106-112
    • Cignoli, R.1    Esteva, F.2    Godo, L.3
  • 2
    • 44949277903 scopus 로고
    • Fuzzy sets in approximate reasoning, part 1
    • D. Dubois, and H. Prade Fuzzy sets in approximate reasoning, part 1 Fuzzy Sets Systems 40 1991 143 202
    • (1991) Fuzzy Sets Systems , vol.40 , pp. 143-202
    • Dubois, D.1    Prade, H.2
  • 3
    • 0042404641 scopus 로고    scopus 로고
    • On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm based logic
    • F. Esteva, J. Gispert, L. Godo, and F. Montagna On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm based logic Stud. Logica 71 2002 393 420
    • (2002) Stud. Logica , vol.71 , pp. 393-420
    • Esteva, F.1    Gispert, J.2    Godo, L.3    Montagna, F.4
  • 4
    • 0035900852 scopus 로고    scopus 로고
    • Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
    • F. Esteva, and L. Godo Monoidal t-norm based logic towards a logic for left-continuous t-norms Fuzzy Sets Systems 124 2001 271 288
    • (2001) Fuzzy Sets Systems , vol.124 , pp. 271-288
    • Esteva, F.1    Godo, L.2
  • 5
    • 0034832910 scopus 로고    scopus 로고
    • On complete residuated many-valued logics with t-norm conjunction
    • Warsaw
    • F. Esteva, L. Godo, On complete residuated many-valued logics with t-norm conjunction, Proc. ISMVL'2001, Warsaw, pp. 81-86.
    • Proc. ISMVL'2001 , pp. 81-86
    • Esteva, F.1    Godo, L.2
  • 6
    • 0002118960 scopus 로고
    • Contrapositive symmetry of fuzzy implications
    • J.C. Fodor Contrapositive symmetry of fuzzy implications Fuzzy Sets Systems 69 1995 141 156
    • (1995) Fuzzy Sets Systems , vol.69 , pp. 141-156
    • Fodor, J.C.1
  • 8
    • 0035900860 scopus 로고    scopus 로고
    • A new axiomatization for involutive monoidal t-norm based logic
    • S. Gottwald, and S. Jenei A new axiomatization for involutive monoidal t-norm based logic Fuzzy Sets Systems 124 2001 303 307
    • (2001) Fuzzy Sets Systems , vol.124 , pp. 303-307
    • Gottwald, S.1    Jenei, S.2
  • 11
    • 0030215021 scopus 로고    scopus 로고
    • On the fundamentals of fuzzy set theory
    • U. Höhle On the fundamentals of fuzzy set theory J. Math. Anal. Appl. 201 1996 786 826
    • (1996) J. Math. Anal. Appl. , vol.201 , pp. 786-826
    • Höhle, U.1
  • 12
    • 39749111349 scopus 로고    scopus 로고
    • A proof of standard completeness for Esteva and Godo's logic MTL
    • S. Jenei, and F. Montagna A proof of standard completeness for Esteva and Godo's logic MTL Stud. Logica 70 2002 183 192
    • (2002) Stud. Logica , vol.70 , pp. 183-192
    • Jenei, S.1    Montagna, F.2
  • 14
    • 0001409897 scopus 로고    scopus 로고
    • A survey on different triangular norm-based fuzzy logics
    • E.P. Klement, and M. Navara A survey on different triangular norm-based fuzzy logics Fuzzy Sets Systems 101 1999 241 251
    • (1999) Fuzzy Sets Systems , vol.101 , pp. 241-251
    • Klement, E.P.1    Navara, M.2
  • 15
    • 0037913561 scopus 로고    scopus 로고
    • 0-algebras
    • D.W. Pei The characterization and independence of R 0 -algebras J. Fuzzy Math. 9 2001 643 649
    • (2001) J. Fuzzy Math. , vol.9 , pp. 643-649
    • Pei, D.W.1
  • 16
    • 0036836756 scopus 로고    scopus 로고
    • 0 implication: Characteristics and applications
    • D.W. Pei R 0 implication characteristics and applications Fuzzy Sets Systems 131 2002 297 302
    • (2002) Fuzzy Sets Systems , vol.131 , pp. 297-302
    • Pei, D.W.1
  • 17
    • 0038486922 scopus 로고    scopus 로고
    • On equivalent forms of fuzzy logic systems NM and IMTL
    • D.W. Pei On equivalent forms of fuzzy logic systems NM and IMTL Fuzzy Sets Systems 138 2003 187 195
    • (2003) Fuzzy Sets Systems , vol.138 , pp. 187-195
    • Pei, D.W.1
  • 18
    • 0038215504 scopus 로고    scopus 로고
    • The completeness and applications of the formal system ℒ*
    • D.W. Pei, and G.J. Wang The completeness and applications of the formal system L * Sci. China (Series F) 45 2002 40 50
    • (2002) Sci. China (Series F) , vol.45 , pp. 40-50
    • Pei, D.W.1    Wang, G.J.2
  • 19
    • 0038297460 scopus 로고    scopus 로고
    • The extensions ℒ* of the system ℒ* and their completeness
    • D.W. Pei, and G.J. Wang The extensions L n * of the system L * and their completeness Inform. Sci. 152 2003 155 166
    • (2003) Inform. Sci. , vol.152 , pp. 155-166
    • Pei, D.W.1    Wang, G.J.2
  • 20
    • 0001437750 scopus 로고    scopus 로고
    • A formal deductive system for fuzzy propositional calculus
    • G.J. Wang A formal deductive system for fuzzy propositional calculus Chinese Sci. Bull. 42 1997 1521 1526
    • (1997) Chinese Sci. Bull. , vol.42 , pp. 1521-1526
    • Wang, G.J.1
  • 21
    • 0032641460 scopus 로고    scopus 로고
    • On the logic foundation of fuzzy reasoning
    • G.J. Wang On the logic foundation of fuzzy reasoning Inform. Sci. 117 1999 47 88
    • (1999) Inform. Sci. , vol.117 , pp. 47-88
    • Wang, G.J.1
  • 23
    • 0035480390 scopus 로고    scopus 로고
    • Non-fuzzy versions of fuzzy reasoning in classical logics
    • G.J. Wang, and H. Wang Non-fuzzy versions of fuzzy reasoning in classical logics Inform. Sci. 138 2001 211 236
    • (2001) Inform. Sci. , vol.138 , pp. 211-236
    • Wang, G.J.1    Wang, H.2
  • 24
    • 0015558134 scopus 로고
    • Outline of a new approach to the analysis of complex systems and decision process
    • L.A. Zadeh Outline of a new approach to the analysis of complex systems and decision process IEEE Trans. SMC 1 1973 28 44
    • (1973) IEEE Trans. SMC , vol.1 , pp. 28-44
    • Zadeh, L.A.1
  • 25
    • 18144439476 scopus 로고    scopus 로고
    • Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs and fuzzy probabilities
    • L.A. Zadeh Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs and fuzzy probabilities Comput. Math. Appl. 37 1999 35
    • (1999) Comput. Math. Appl. , vol.37 , pp. 35
    • Zadeh, L.A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.