Semantics of lattice-valued tense propositional logic system

被引：0
|
作者：
Li, Wen-Jiang
Xu, Yang
机构：
[1] Sch. of Elec. Eng., Southwest Jiaotong Univ., Chengdu 610031, China
[2] Dept. of Appl. Math., Southwest Jiaotong Univ., Chengdu 610031, China
来源：
Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University | 2004年 / 39卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：691 / 695
相关论文
共 50 条
  • [21] L-TAUTOLOGY THEORY IN LATTICE-VALUED PROPOSITIONAL LOGIC
    Pan, Xiaodong
    Xu, Kaijun
    Qin, Keyun
    Xu, Yang
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 105 - +
  • [22] Declarative semantics of programming in residuated lattice-valued logic
    应明生
    Science in China(Series E:Technological Sciences), 2000, (05) : 481 - 494
  • [23] Lattice-Valued Truth Degree in Lukasiewicz Propositional Fuzzy Logic
    Zhang, Dong-xiao
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 331 - 337
  • [24] Valuation sets in lattice-valued propositional logic LP(X)
    Wang, XF
    Qing, M
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1 AND 2, 2003, : 114 - 119
  • [25] Declarative semantics of programming in residuated lattice-valued logic
    Ying, MS
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (05): : 481 - 494
  • [26] Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
    Maruyama, Yoshihiro
    LOGIC AND ITS APPLICATIONS, 2009, 5378 : 170 - 184
  • [27] α-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,
  • [28] On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic
    He, Xingxing
    Liu, Jun
    Xu, Yang
    Martinez, Luis
    Ruan, Da
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (03) : 579 - 588
  • [29] α-RESOLUTION OF GENERALIZED LITERALS FOR LATTICE-VALUED PROPOSITIONAL LOGIC LnP(X)
    Xu, Weitao
    Xu, Yang
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 174 - 179
  • [30] α-resolution principle based on lattice-valued propositional logic LP(X)
    Xu, Y
    Ruan, D
    Kerre, EE
    Liu, J
    INFORMATION SCIENCES, 2000, 130 (1-4) : 195 - 223
12345