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

作者：许文艳; 刘三阳; 方益奇

来源：模糊系统与数学, 2011, (01): 25-31.

• 命题逻辑
• 公式的压缩图
• 形式系统 Propositional Logic
• Compressed Diagram for Formulas
• Formal System

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

• 单位
  西安电子工程研究所; 西安电子科技大学