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 条
  • [31] α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
    Zhong, Xiaomei
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2014, 7 (03) : 418 - 431
  • [32] α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
    Xiaomei Zhong
    Yang Xu
    Jun Liu
    Shuwei Chen
    International Journal of Computational Intelligence Systems, 2014, 7 : 418 - 431
  • [33] α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)
    王伟
    徐扬
    王学芳
    Journal of Southwest Jiaotong University, 2002, (01) : 98 - 111
  • [34] Strong completeness of lattice-valued logic
    Mitio Takano
    Archive for Mathematical Logic, 2002, 41 : 497 - 505
  • [35] Lattice-valued logic and neural networks
    Liu, YF
    Wang, PKC
    1997 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1997, : 350 - 355
  • [36] Strong completeness of lattice-valued logic
    Takano, M
    ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (05) : 497 - 505
  • [37] α-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Zhong, Xiaomei
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 86 - 91
  • [38] A comparison between lattice-valued propositional logic LP(X) and gradational lattice-valued propositional logic Lvpl
    Chang, Zhiyan
    Xu, Yang
    Lai, Jiajun
    Long, Xiqing
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [39] α-Paramodulation method for a lattice-valued logic LnF(X) with equality
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Li, Yingfang
    SOFT COMPUTING, 2021, 25 (01) : 251 - 261
  • [40] Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
    Lai, Jiajun
    Xu, Yang
    INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
12345