| 命题逻辑公式的压缩表示及其相应的形式系统 |
| |
| 引用本文： | 许文艳,刘三阳,方益奇.命题逻辑公式的压缩表示及其相应的形式系统[J].模糊系统与数学,2011,25(1):25-31. |
| |
| 作者姓名： | 许文艳 刘三阳 方益奇 |
| |
| 作者单位： | 1. 西安电子科技大学,理学院,应用数学系,陕西,西安,710071
2. 西安电子工程研究所,陕西,西安,710100 |
| |
| 摘 要： | 提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.
|
| 关 键 词： | 命题逻辑 公式的压缩图 形式系统 |
Compression of Representations of Formulas and Corresponding Formal System for Propositional Logic |
| |
| XU Wen-yan,LIU San-yang,FANG Yi-qi.Compression of Representations of Formulas and Corresponding Formal System for Propositional Logic[J].Fuzzy Systems and Mathematics,2011,25(1):25-31. |
| |
| Authors: | XU Wen-yan LIU San-yang FANG Yi-qi |
| |
| Institution: | XU Wen-yan1,LIU San-yang1,FANG Yi-qi2(1.Department of Mathematics,Xidian University,Xi'an 710071,China,2.Institute No.206 of China Arms Industry Group Corporation,Xi'an 710100,China) |
| |
| Abstract: | A method of compression of representations of propositional formulas,compressed diagram for formulas,is presented.The corresponding formal system is given,and compared with sequent calculus systems Gentzen\cut},this system offers an exponential speedup in proof efficiency over them,which provides for propositional logic an alternative formal system. |
| |
| Keywords: | Propositional Logic Compressed Diagram for Formulas Formal System |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
