Graded method of lattice-valued logic based on MV-algebra semantics

被引：0
|
作者：
机构：
[1] Zuo, Wei-Bing
来源：
Zuo, W.-B. (zuoweibing@ncwu.edu.cn) | 1600年 / Chinese Institute of Electronics卷 / 41期
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
10.3969/j.issn.0372-2112.2013.10.026
中图分类号：
学科分类号：
摘要：
Computer circuits - Semantics - Set theory - Algebra - Probability - Approximation theory
引用
收藏
相关论文
共 50 条
  • [41] α-generalized Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic System
    Xu, Weitao
    2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
  • [42] A resolution-like strategy based on a lattice-valued logic
    Liu, J
    Ruan, D
    Xu, Y
    Song, ZM
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2003, 11 (04) : 560 - 567
  • [43] FUZZIFYING GROUPS BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC
    SHEN, JZ
    INFORMATION SCIENCES, 1993, 75 (1-2) : 165 - 186
  • [44] Automata theory based on complete residuated lattice-valued logic (Ⅱ)
    邱道文
    Science in China(Series F:Information Sciences), 2002, (06) : 442 - 452
  • [45] On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    SOFT COMPUTING, 2012, 16 (04) : 699 - 709
  • [46] STATE HYPERSTRUCTURES OF TREE AUTOMATA BASED ON LATTICE-VALUED LOGIC
    Ghorani, Maryam
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, 52 (01): : 23 - 42
  • [47] Automata theory based on complete residuated lattice-valued logic
    Daowen Qiu
    Science in China Series : Information Sciences, 2001, 44 (6): : 419 - 429
  • [48] α-Lock resolution method for a lattice-valued first-order logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Ruan, Da
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2011, 24 (07) : 1274 - 1280
  • [49] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2012, 5 (06): : 1120 - 1134
  • [50] α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
    Xingxing He
    Yang Xu
    Jun Liu
    Shuwei Chen
    International Journal of Computational Intelligence Systems, 2012, 5 : 1120 - 1134
12345