n值命题逻辑系统Ln*中有限命题集的相容性与约简

摘要：

设T为有限命题集,首先讨论了T在不同的n值命题逻辑系统Ln*中的相容性问题,提出了T的约简理论,从命题集T所诱导的多值形式背景出发,运用概念格的方法从T及其子集的关系出发给出了T约简的判定定理.

关键词：完备性定理、相容性、T约简、概念格

所属期刊栏目：45

分类号：O142(数理逻辑、数学基础)

资助基金：陕西省科学技术研究发展计划项目2008k01-33

在线出版日期：2009-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：59-61,64