命题逻辑公式的压缩表示及其相应的形式系统

• 作者: 刘三阳 方益奇 许文艳
• 来源期刊: 模糊系统与数学
• 学科: 工学
• 关键词: 命题逻辑 公式的压缩图 形式系统
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 模糊集理论
• 页码范围: 25-31
• 分类号: TP301
• 字数: 4329字
• 语种: 中文

摘要

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方益奇		7	54	4.0	7.0