Linguistic Truth-Valued Lattice Value Propositional Logic System (t)P(X)

摘要：

In the present paper, as continuous work about linguistics truth-valued LIA and its properties (CESA2006), the lattice value propositional logic system whose valuation field look as linguistic truth value LIA (briefly, L-LIA) is focused. Firstly, some properties about linguistic truth value LIA are discussed. On the other hand, some concepts about linguistic truth value lattice-valued propositional logic system (t)P(X) is established, whose truth value domain is a linguistic truth-valued lattice implication algebra,and the semantic problems of (t)P(X) are investigated.

关键词： Linguistic truth-valued LIA Valuation Valid formula (α β) -valid.

作者: Jiajun Lai Kaijun Xu Yang Xu Zhaoyou Zeng

作者单位: School of Information Science & Technology, Southwest Jiaotong University, Chengdu 610031, P. R. Chi Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, P. R. China School of Economics and Management, Southwest Jiaotong University, Chengdu 610031, P. R. China

会议类型: 国际会议

会议名称: The 2007 International Conference on Intelligent Systems and Knowledge Engineering(第二届智能系统与知识工程国际会议)

会议地点: 成都

会议语种:英文

页码: 1546-1551

在线出版日期: 2007-10-15（万方平台首次上网日期，不代表论文的发表时间）