命题逻辑系统L*的有效集

摘要：

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L△*中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对MP规则封闭的有效集的特征.

关键词：L*系统、真值函数、有效集、MP规则

所属期刊栏目：20

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

资助基金：中国科学院资助项目10471083

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

页数：共5页

页码：13-17