메뉴 건너뛰기




Volumn 157, Issue 5, 2006, Pages 670-676

Undefinability of min-conjunction in MTL

Author keywords

Min conjunction; MTL system; Non classical logics; WNM chain

Indexed keywords

FORMAL LOGIC;

EID: 31944446203     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2005.10.016     Document Type: Conference Paper
Times cited : (7)

References (13)
  • 1
    • 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 and Systems 124 2001 271 288
    • (2001) Fuzzy Sets and Systems , vol.124 , pp. 271-288
    • Esteva, F.1    Godo, L.2
  • 2
    • 0042404641 scopus 로고    scopus 로고
    • On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
    • F. Esteva, L. Godo, J. Gispert, and F. Montagna On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic Studia Logica 71 2002 199 226
    • (2002) Studia Logica , vol.71 , pp. 199-226
    • Esteva, F.1    Godo, L.2    Gispert, J.3    Montagna, F.4
  • 3
    • 0002118960 scopus 로고
    • Contrapositive symmetry of fuzzy implications
    • J.C. Fodor Contrapositive symmetry of fuzzy implications Fuzzy Sets and Systems 69 1995 141 156
    • (1995) Fuzzy Sets and Systems , vol.69 , pp. 141-156
    • Fodor, J.C.1
  • 4
    • 19044375223 scopus 로고    scopus 로고
    • On the scope of some formulas defining additive connectives in fuzzy logics
    • A. García-Cerdaña, C. Noguera, and F. Esteva On the scope of some formulas defining additive connectives in fuzzy logics Fuzzy Sets and Systems 154 2005 56 75
    • (2005) Fuzzy Sets and Systems , vol.154 , pp. 56-75
    • García-Cerdaña, A.1    Noguera, C.2    Esteva, F.3
  • 6
    • 0000482672 scopus 로고    scopus 로고
    • A new family of triangular norms via contrapositive symmetrization of residuated implication
    • S. Jenei A new family of triangular norms via contrapositive symmetrization of residuated implication Fuzzy Set and Systems 110 2 2000 157 174
    • (2000) Fuzzy Set and Systems , vol.110 , Issue.2 , pp. 157-174
    • Jenei, S.1
  • 7
    • 0036498105 scopus 로고    scopus 로고
    • A note on the ordinal sum theorem and its consequence for the construction of triangular norms
    • S. Jenei A note on the ordinal sum theorem and its consequence for the construction of triangular norms Fuzzy Set and Systems 126 2002 199 205
    • (2002) Fuzzy Set and Systems , vol.126 , pp. 199-205
    • Jenei, S.1
  • 8
    • 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 Studia Logica 70 2002 183 192
    • (2002) Studia Logica , vol.70 , pp. 183-192
    • Jenei, S.1    Montagna, F.2
  • 9
    • 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 and Systems 101 2 1999 241 251
    • (1999) Fuzzy Sets and Systems , vol.101 , Issue.2 , pp. 241-251
    • Klement, E.P.1    Navara, M.2
  • 10
    • 33846442370 scopus 로고    scopus 로고
    • A fuzzy logic for the revised drastic product t-norm
    • published online
    • S.M. Wang, A fuzzy logic for the revised drastic product t-norm, Soft computing, published online.
    • Soft Computing
    • Wang, S.M.1
  • 11
    • 9644281518 scopus 로고    scopus 로고
    • A fuzzy logic for an ordinal sum t-norm
    • S.M. Wang, B.S. Wang, and W.P. Dao A fuzzy logic for an ordinal sum t-norm Fuzzy Sets and Systems 149 2 2005 297 307
    • (2005) Fuzzy Sets and Systems , vol.149 , Issue.2 , pp. 297-307
    • Wang, S.M.1    Wang, B.S.2    Dao, W.P.3
  • 12
    • 9644289345 scopus 로고    scopus 로고
    • NMŁ, A schematic extension of F. Esteva and L. Godo's Logic
    • S.M. Wang, B.S. Wang, and F. Ren NMŁ, A schematic extension of F. Esteva and L. Godo's Logic Fuzzy Sets and Systems 149 2 2005 285 295
    • (2005) Fuzzy Sets and Systems , vol.149 , Issue.2 , pp. 285-295
    • Wang, S.M.1    Wang, B.S.2    Ren, F.3
  • 13
    • 0037449122 scopus 로고    scopus 로고
    • A triangular norm-based propositional fuzzy logic
    • S.M. Wang, B.S. Wang, and G.J. Wang A triangular norm-based propositional fuzzy logic Fuzzy Sets and Systems 136 1 2003 55 70
    • (2003) Fuzzy Sets and Systems , vol.136 , Issue.1 , pp. 55-70
    • Wang, S.M.1    Wang, B.S.2    Wang, G.J.3


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