Compression of Representations of Formulas and Corresponding Formal System for Propositional Logic
Fang Yi-qi · Mohu xitong yu shuxue · 2011
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.