Agents and lattice-valued logic

被引：0
|
作者：
Mathematical Department, Catholic University, Brescia, Italy [1 ]
机构：
来源：
J. Donghua Univ. | 2006年 / 6卷 / 113-116期
关键词：
Fuzzy logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] LATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
    Jaeger, G.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2011, 8 (02): : 67 - 89
  • [22] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued First-order Logic System
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 89 - 93
  • [23] Syntax theory of finite lattice-valued propositional logic
    XiaoDong Pan
    Dan Meng
    Yang Xu
    Science China Information Sciences, 2013, 56 : 1 - 12
  • [24] Semantics of lattice-valued tense propositional logic system
    Li, Wen-Jiang
    Xu, Yang
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2004, 39 (05): : 691 - 695
  • [25] Fuzzy topology based on residuated lattice-valued logic
    Ying, MS
    ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2001, 17 (01): : 89 - 102
  • [26] Coding tree languages based on lattice-valued logic
    Ghorani, M.
    Zahedi, M. M.
    SOFT COMPUTING, 2017, 21 (14) : 3815 - 3825
  • [27] Connectedness for lattice-valued subsets in lattice-valued convergence spaces
    Jin, Qiu
    Li, Lingqiang
    Lv, Yanrui
    Zhao, Fangfang
    Zou, Juan
    QUAESTIONES MATHEMATICAE, 2019, 42 (02) : 135 - 150
  • [28] Lattice-valued modal propositional logic and its completeness
    SHI HuiXian & WANG GuoJun1 Institute of Mathematics
    Science China(Information Sciences), 2010, 53 (11) : 2230 - 2239
  • [29] On Compactness and Consistency in Finite Lattice-Valued Propositional Logic
    Pan, Xiaodong
    Xu, Yang
    Martinez, Luis
    Ruan, Da
    Liu, Jun
    HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2, 2010, 6077 : 328 - +
  • [30] A new lattice-valued propositional logic (I): Semantics
    Qin, KY
    Xu, Y
    COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 44 - 49
12345