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 条
  • [1] A resolution method on lattice-valued tense propositional logic
    Li, WJ
    Xu, Y
    APPLIED COMPUTATIONAL INTELLIGENCE, 2004, : 87 - 92
  • [2] A new lattice-valued propositional logic (I): Semantics
    Qin, KY
    Xu, Y
    COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 44 - 49
  • [3] 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,
  • [4] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
  • [5] The Syntax of Lattice-Valued Propositional Logic System lp(X)
    李华
    Journal of Donghua University(English Edition), 2007, (02) : 305 - 308
  • [6] α-Lock paramodulation for lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, J.
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 18 - 20
  • [7] Syntax theory of finite lattice-valued propositional logic
    XiaoDong Pan
    Dan Meng
    Yang Xu
    Science China Information Sciences, 2013, 56 : 1 - 12
  • [8] Lattice-valued modal propositional logic and its completeness
    SHI HuiXian & WANG GuoJun1 Institute of Mathematics
    Science China(Information Sciences), 2010, 53 (11) : 2230 - 2239
  • [9] On Compactness and Consistency in Finite Lattice-Valued Propositional Logic
    Pan, Xiaodong
    Xu, Yang
    Martinez, Luis
    Ruan, Da
    Liu, Jun
    HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2, 2010, 6077 : 328 - +
  • [10] Lattice-valued modal propositional logic and its completeness
    HuiXian Shi
    GuoJun Wang
    Science China Information Sciences, 2010, 53 : 2230 - 2239
12345