메뉴 건너뛰기
Soft Computing
Volumn 8, Issue 8, 2004, Pages 539-545
On the strict logic foundation of fuzzy reasoning
Author keywords

First order system K*; Fuzzy predicate logic; Fuzzy reasoning; Many sort system Kms*; Triple I inference method
Indexed keywords

EID: 24344446019     PISSN: 14327643     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00500-003-0312-0     Document Type: Review
Times cited : (38)
References (20)
  • 1
    • 0002118960 scopus 로고
    • Contrapositive symmetry of fuzzy implications
    • Fodor JC (1995) Contrapositive symmetry of fuzzy implications, Fuzzy Sets and Systems 69: 141-156
    • (1995) Fuzzy Sets and Systems , vol.69 , pp. 141-156
    • Fodor, J.C.1
  • 2
    • 44949277903 scopus 로고
    • Fuzzy sets in approximate reasoning, Part 1
    • Dubois D, Prade H (1991) Fuzzy sets in approximate reasoning, Part 1, ibid., 40: 143-202
    • (1991) Fuzzy Sets and Systems , vol.40 , pp. 143-202
    • Dubois, D.1    Prade, H.2
  • 3
    • 0035900852 scopus 로고    scopus 로고
    • Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
    • Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms, ibid., 124: 271-288
    • (2001) Fuzzy Sets and Systems , vol.124 , pp. 271-288
    • Esteva, F.1    Godo, L.2
  • 5
    • 0025404409 scopus 로고
    • Fuzzy logic in control systems: Fuzzy logic controller
    • Lee CC (1990) Fuzzy logic in control systems: Fuzzy logic controller, TEEE Trans. Sys. Man Cybern., 20: 405-435
    • (1990) TEEE Trans. Sys. Man Cybern. , vol.20 , pp. 405-435
    • Lee, C.C.1
  • 7
    • 0001753802 scopus 로고
    • On fuzzy logic (I;II;III)
    • Pavelka J (1979) On fuzzy logic (I;II;III), Z. Math. Logik Grund. Math. 25: 45-52, 119-134, 447-464
    • (1979) Z. Math. Logik Grund. Math. , vol.25 , pp. 45-52
    • Pavelka, J.1
  • 9
    • 0038215504 scopus 로고    scopus 로고
    • The completeness and applications of the formal deductive system ℒ*
    • Pei DW, Wang GJ (2002) The completeness and applications of the formal deductive system ℒ*, Sciences in China, Series F, 45: 40-50
    • (2002) Sciences in China, Series F , vol.45 , pp. 40-50
    • Pei, D.W.1    Wang, G.J.2
  • 10
    • 0036836756 scopus 로고    scopus 로고
    • 0 implication: Characteristics and applications
    • 0 implication: characteristics and applications, Fuzzy Sets and Systems, 131: 297-302
    • (2002) Fuzzy Sets and Systems , vol.131 , pp. 297-302
    • Pei, D.W.1
  • 11
    • 0038486922 scopus 로고    scopus 로고
    • On equivalent forms of fuzzy logic systems NM and IMTL
    • Pei DW (2003) On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets and Systems, 138: 187-195
    • (2003) Fuzzy Sets and Systems , vol.138 , pp. 187-195
    • Pei, D.W.1
  • 13
    • 0010118792 scopus 로고    scopus 로고
    • A formal deductive system of fuzzy prepositional calculus
    • Wang GJ (1997) A formal deductive system of fuzzy prepositional calculus, Chinese Science Bull. 42: 1041-1045
    • (1997) Chinese Science Bull. , vol.42 , pp. 1041-1045
    • Wang, G.J.1
  • 14
    • 0032641460 scopus 로고    scopus 로고
    • On the logic foundation of fuzzy reasoning
    • Wang GJ (1999) On the logic foundation of fuzzy reasoning, Information Sciences, 117: 47-88
    • (1999) Information Sciences , vol.117 , pp. 47-88
    • Wang, G.J.1
  • 15
    • 0013153201 scopus 로고    scopus 로고
    • The full implication triple I method of fuzzy reasoning
    • Wang GJ (1999) The full implication triple I method of fuzzy reasoning, Sciences in China (Series E) 29: 43-53
    • (1999) Sciences in China (Series E) , vol.29
    • Wang, G.J.1
  • 16
    • 0035480390 scopus 로고    scopus 로고
    • Non-fuzzy versions of fuzzy reasoning in classical logics
    • Wang GJ, Wang H (2001) Non-fuzzy versions of fuzzy reasoning in classical logics, Information Sciences, 138: 211-236
    • (2001) Information Sciences , vol.138 , pp. 211-236
    • Wang, G.J.1    Wang, H.2
  • 19
    • 21844523011 scopus 로고
    • A logic for approximate reasoning
    • Ying MS (1994) A logic for approximate reasoning, J. Symbolic Logic 59: 830-837
    • (1994) J. Symbolic Logic , vol.59 , pp. 830-837
    • Ying, M.S.1
  • 20
    • 0015558134 scopus 로고
    • Outline of new approach to the analysis of complex systems and decision processes
    • Zadeh LA (1973) Outline of new approach to the analysis of complex systems and decision processes, TEEE Trans. on Systems, Man and Cybernetics 3: 28-33
    • (1973) TEEE Trans. on Systems, Man and Cybernetics , vol.3 , pp. 28-33
    • Zadeh, L.A.1

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