메뉴 건너뛰기




Volumn 136, Issue 1, 2003, Pages 71-91

Integrated semantics and logic metric spaces

Author keywords

Approximate reasoning; Integrated HS; Integrated MP; R logic metric space; Tautology degree

Indexed keywords

FORMAL LOGIC; FUZZY SETS; PROBABILITY;

EID: 0037449120     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(02)00328-7     Document Type: Article
Times cited : (81)

References (31)
  • 1
    • 0002224541 scopus 로고
    • Fuzzy power sets and fuzzy implication operators
    • Bandler W., Kohout L.J. Fuzzy power sets and fuzzy implication operators. Fuzzy Sets and Systems. 4:1980;13-30.
    • (1980) Fuzzy Sets and Systems , vol.4 , pp. 13-30
    • Bandler, W.1    Kohout, L.J.2
  • 6
    • 44949277903 scopus 로고
    • Fuzzy sets in approximate reasoning, Part 1, Part 2
    • Dubois D., Prade H., Lang J. Fuzzy sets in approximate reasoning, part 1, part 2. Fuzzy Sets and Systems. 40:1991;143-244.
    • (1991) Fuzzy Sets and Systems , vol.40 , pp. 143-244
    • Dubois, D.1    Prade, H.2    Lang, J.3
  • 10
    • 34250481936 scopus 로고
    • The logic of inexact concepts
    • Goguen J.A. The logic of inexact concepts. Syntheses. 19:1968/69;325-373.
    • (1968) Syntheses , vol.19 , pp. 325-373
    • Goguen, J.A.1
  • 15
    • 0002141730 scopus 로고
    • A theorem about infinite-valued sentential logic
    • McNaughton R. A theorem about infinite-valued sentential logic. J. Symbolic Logic. 16:1951;1-13.
    • (1951) J. Symbolic Logic , vol.16 , pp. 1-13
    • McNaughton, R.1
  • 16
    • 0001818036 scopus 로고
    • Averaging the truth value in Lukasiewicz sentential logic
    • Mundici D. Averaging the truth value in Lukasiewicz sentential logic. Studia Logica. 55:1995;113-127.
    • (1995) Studia Logica , vol.55 , pp. 113-127
    • Mundici, D.1
  • 17
    • 0002131962 scopus 로고
    • First-order fuzzy logic
    • Novak V. First-order fuzzy logic. Studia Logica. 46:1987;87-109.
    • (1987) Studia Logica , vol.46 , pp. 87-109
    • Novak, V.1
  • 19
    • 0016722472 scopus 로고
    • A model of inexact reasoning in medicine
    • Shortliffe E.H., Buchanan B.G. A model of inexact reasoning in medicine. Math. Biosci. 23:1975;351-379.
    • (1975) Math. Biosci. , vol.23 , pp. 351-379
    • Shortliffe, E.H.1    Buchanan, B.G.2
  • 20
    • 0002001392 scopus 로고
    • On some functionally expressable implications for fuzzy set theory
    • Linz, Austria
    • E. Trillas, L. Valverde, On some functionally expressable implications for fuzzy set theory, Proc. 3rd Internat. Seminar on Fuzzy Set Theory, Linz, Austria, 1981, pp. 173-190.
    • (1981) Proc. 3rd Internat. Seminar on Fuzzy Set Theory , pp. 173-190
    • Trillas, E.1    Valverde, L.2
  • 21
    • 0001437750 scopus 로고    scopus 로고
    • A formal deductive system for fuzzy propositional calculus
    • Wang G.J. A formal deductive system for fuzzy propositional calculus. Chinese Sci. Bull. 42:1997;18:1521-1526.
    • (1997) Chinese Sci. Bull. , vol.42 , Issue.18 , pp. 1521-1526
    • Wang, G.J.1
  • 22
    • 0032641460 scopus 로고    scopus 로고
    • On the logic fundation of fuzzy reasoning
    • Wang G.J. On the logic fundation of fuzzy reasoning. Inform. Sci. 117:1999;47-88.
    • (1999) Inform. Sci. , vol.117 , pp. 47-88
    • Wang, G.J.1
  • 24
    • 0345529328 scopus 로고    scopus 로고
    • A universal theory of measure and integral on valuation spaces with respect to diverse implication operators
    • Wang G.J. A universal theory of measure and integral on valuation spaces with respect to diverse implication operators. Sci. China Ser. E. 43:2000;6:586-594.
    • (2000) Sci. China Ser. E , vol.43 , Issue.6 , pp. 586-594
    • Wang, G.J.1
  • 25
    • 0034140591 scopus 로고    scopus 로고
    • Separable Boolean functions and generalized Fibonacci sequences
    • Wang G.J. Separable Boolean functions and generalized Fibonacci sequences. Comput. Math. Appl. 39:2000;205-216.
    • (2000) Comput. Math. Appl. , vol.39 , pp. 205-216
    • Wang, G.J.1
  • 26
    • 21844523011 scopus 로고
    • A logic for approximate reasoning
    • Ying M.S. A logic for approximate reasoning. J. Symbolic Logic. 59:1994;3:830-837.
    • (1994) J. Symbolic Logic , vol.59 , Issue.3 , pp. 830-837
    • Ying, M.S.1
  • 27
    • 0015558134 scopus 로고
    • Outline of a new approach to the analysis of complex system and decision processes
    • Zadeh L.A. Outline of a new approach to the analysis of complex system and decision processes. IEEE Trans. Systems Man Cybernet. 3:1973;28-44.
    • (1973) IEEE Trans. Systems Man Cybernet. , vol.3 , pp. 28-44
    • Zadeh, L.A.1
  • 28
    • 0016458950 scopus 로고
    • The concept of a linguistic variable and its application to approximate reasoning, Parts 1-3
    • L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, parts 1-3, Inform. Sci. 8 (1975) 199-249, 301-357; 9 (1975) 43-80.
    • (1975) Inform. Sci. , vol.8 , pp. 199-249
    • Zadeh, L.A.1
  • 29
    • 0016458950 scopus 로고
    • L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, parts 1-3, Inform. Sci. 8 (1975) 199-249, 301-357; 9 (1975) 43-80.
    • (1975) Inform. Sci. , vol.9 , pp. 43-80
  • 30
    • 49349133217 scopus 로고
    • Fuzzy sets as a basis for a theory of possibility
    • Zadeh L.A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems. 1:1978;3-28.
    • (1978) Fuzzy Sets and Systems , vol.1 , pp. 3-28
    • Zadeh, L.A.1


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