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 条
  • [21] Linguistic truth-valued concept lattice based on lattice-valued logic
    Yang, Li
    Xu, Yang
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [22] A resolution method on lattice-valued tense propositional logic
    Li, WJ
    Xu, Y
    APPLIED COMPUTATIONAL INTELLIGENCE, 2004, : 87 - 92
  • [23] Fuzzy topology based on residuated lattice-valued logic
    Ying, MS
    ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2001, 17 (01): : 89 - 102
  • [24] Coding tree languages based on lattice-valued logic
    Ghorani, M.
    Zahedi, M. M.
    SOFT COMPUTING, 2017, 21 (14) : 3815 - 3825
  • [25] α-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
  • [26] Coding tree languages based on lattice-valued logic
    M. Ghorani
    M. M. Zahedi
    Soft Computing, 2017, 21 : 3815 - 3825
  • [27] Fuzzy Topology Based on Residuated Lattice-Valued Logic
    Ming Sheng YING
    ActaMathematicaSinica(EnglishSeries), 2001, 17 (01) : 89 - 102
  • [28] Determination of alpha-resolution for lattice-valued first-order logic based on lattice implication algebra
    Xu, Yang
    Li, Xiaobing
    Liu, Jun
    Ruan, Da
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [29] Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra
    Wang Xuefang
    Liu Peishun
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (5A): : 195 - 200
  • [30] Fuzzy Topology Based on Residuated Lattice-Valued Logic
    Ying M.S.
    Acta Mathematica Sinica, 2001, 17 (1) : 89 - 102
12345