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 条
  • [1] On an algebra of lattice-valued logic
    Hansen, L
    JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (01) : 282 - 318
  • [2] 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
  • [3] A new lattice-valued propositional logic (I): Semantics
    Qin, KY
    Xu, Y
    COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 44 - 49
  • [4] Declarative semantics of programming in residuated lattice-valued logic
    应明生
    Science in China(Series E:Technological Sciences), 2000, (05) : 481 - 494
  • [5] Declarative semantics of programming in residuated lattice-valued logic
    Ying, MS
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (05): : 481 - 494
  • [6] Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
    Maruyama, Yoshihiro
    LOGIC AND ITS APPLICATIONS, 2009, 5378 : 170 - 184
  • [7] On an algebra of linguistic truth-valued intuitionistic lattice-valued logic
    Zou, Li
    Shi, Peng
    Pei, Zheng
    Xu, Yang
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2013, 24 (03) : 447 - 456
  • [8] RESEARCH ADVANCES ON RESOLUTION AUTOMATED REASONING IN LATTICE-VALUED LOGIC BASED ON LATTICE IMPLICATION ALGEBRA
    Xu, Yang
    Zhong, Xiaomei
    He, Xingxing
    Liu, Jun
    UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2012, 7 : 714 - 719
  • [9] The MaxSAT Problem in the Real-Valued MV-Algebra
    Hanikova, Zuzana
    Manya, Felip
    Vidal, Amanda
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 386 - 404
  • [10] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 : 75 - 84
12345