(L)ukasiewicz命题逻辑系统中有限命题集的约简理论

• 作者: 冯锋 张建科 李立峰
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: (L)ukasiewicz命题逻辑 完备性定理 T约简 形式背景
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 研究、探讨
• 页码范围: 44-45,51
• 页数: 3页
• 分类号: O142
• 字数: 3582字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.07.013

摘要

在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T约简的方法.说明了无穷值(L)ukesiewicz命题逻辑中命题集T的约简可转化为n值情形.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张建科	西安邮电学院应用数理系	37	335	10.0	17.0
2	冯锋	西安邮电学院应用数理系	11	21	3.0	4.0
3	李立峰	西安邮电学院应用数理系	15	85	5.0	9.0