Syntactic Extension of Lattice-valued Propositional Logic LP(X)

被引：0

作者：

ZHENG Fengbin LI Qingyu WANG Xuefang XU Yang College of Computer and Information Engineering Henan University Kaifeng China ^{[475001
]}

College of Sciences Chongqing Technology and Business University Chongqing China ^{[400067
]}

Department of Mathematics Ocean University of China Qingdao China ^{[266071
]}

Intelligent Control Development Center Southwest Jiaotong University Chengdu China ^{[610031
]}

机构：

来源：

数学季刊 | 2006年 / 02期

关键词：

lattice-valued logic; lattice implication algebra; β)-consequence; β)-theorem; formal proof;

D O I：

暂无

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

070104 ; 010104 ; 010105 ;

摘要：

<正>We have given a semantic extension of lattice-valued propositional logic LP(X) in [6]. In this paper, we investigate its corresponding syntactic extension of LP(X) and give the relations between these two extensions.

引用

页码：301 / 308

页数：8