Syntax theory of finite lattice-valued propositional logic

被引：2
|
作者：
Pan XiaoDong
Meng Dan
Xu Yang
机构：
[1] School of Mathematics, Southwest Jiaotong University, Sichuan
[2] Intelligent Control Development Center, Southwest Jiaotong University, Sichuan
[3] School of Economics Information Engineering, Southwestern University of Finance and Ecnomics, Sichuan
来源：
SCIENCE CHINA-INFORMATION SCIENCES | 2013年 / 56卷 / 08期
基金：
中国国家自然科学基金;
关键词：
Lattice-valued propositional logic; syntax theory; inference rule; generalized deduction theorem; completeness; FUZZY-LOGIC;
D O I：
10.1007/s11432-012-4580-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we establish the graded syntax theory of lattice-valued propositional logic based on finite lattice implication algebras, define the notions of syntactic consequence operation and formal proof, and develop a kind of graded finite lattice-valued propositional calculus. By generalizing classic provable equivalence relation, we present a kind of generalized provable equivalence relation, and establish the corresponding quotient algebra. Finally, we establish the generalized deduction theorem by syntactic consequence operation, and establish the completeness in Pavelka's sense based on finite chains.
引用
收藏
页码：1 / 12
页数：12
相关论文
共 50 条
  • [1] Syntax theory of finite lattice-valued propositional logic
    XiaoDong Pan
    Dan Meng
    Yang Xu
    Science China Information Sciences, 2013, 56 : 1 - 12
  • [2] Syntax theory of finite lattice-valued propositional logic
    PAN XiaoDong
    MENG Dan
    XU Yang
    Science China(Information Sciences), 2013, 56 (08) : 177 - 188
  • [3] Semantic theory of finite lattice-valued propositional logic
    XiaoDong Pan
    Yang Xu
    Science China Information Sciences, 2010, 53 : 2022 - 2031
  • [4] Semantic theory of finite lattice-valued propositional logic
    PAN XiaoDong 1
    2 Intelligent Control Development Center
    Science China(Information Sciences), 2010, 53 (10) : 2022 - 2031
  • [5] Semantic theory of finite lattice-valued propositional logic
    Pan XiaoDong
    Xu Yang
    SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (10) : 2022 - 2031
  • [6] The Syntax of Lattice-Valued Propositional Logic System lp(X)
    李华
    JournalofDonghuaUniversity(EnglishEdition), 2007, (02) : 305 - 308
  • [7] 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 - +
  • [8] 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,
  • [9] 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 - +
  • [10] 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
12345