Modal systems based on many-valued logics

被引：0
|
作者：
Bou, F. [1 ]
Esteva, F. [1 ]
Godo, L. [1 ]
机构：
[1] CSIC, IIIA, Bellaterra 08193, Spain
来源：
NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL I, PROCEEDINGS | 2007年
关键词：
modal many-valued logic; modal fuzzy logic;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic ways and analyze the existing literature with respect to this framework.
引用
收藏
页码：177 / 182
页数：6
相关论文
共 50 条
  • [21] GENERALIZED MANY-VALUED LOGICS
    MARQUETT.A
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 419 - 419
  • [22] Complexity of many-valued logics
    Hähnle, R
    BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 211 - 233
  • [23] RESOLUTION FOR MANY-VALUED LOGICS
    MORGAN, CG
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 200
  • [24] Calculi for Many-Valued Logics
    Kaminski, Michael
    Francez, Nissim
    LOGICA UNIVERSALIS, 2021, 15 (02) : 193 - 226
  • [25] CERES in many-valued logics
    Baaz, M
    Leitsch, A
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 1 - 20
  • [26] Calculi for Many-Valued Logics
    Michael Kaminski
    Nissim Francez
    Logica Universalis, 2021, 15 : 193 - 226
  • [27] MODELS OF MANY-VALUED LOGICS
    FLETCHER, TJ
    AMERICAN MATHEMATICAL MONTHLY, 1963, 70 (04): : 381 - &
  • [28] MANY-VALUED COMPUTATIONAL LOGICS
    STACHNIAK, Z
    JOURNAL OF PHILOSOPHICAL LOGIC, 1989, 18 (03) : 257 - 274
  • [29] MANY-VALUED LOGICS AND THEIR ALGEBRAS
    ANSHAKOV, OM
    RYCHKOV, SV
    RUSSIAN MATHEMATICAL SURVEYS, 1990, 45 (06) : 139 - 140
  • [30] SHEFFER FUNCTIONS FOR MANY-VALUED S5 MODAL LOGICS
    MASSEY, GJ
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (02): : 101 - &
12345