公式长度论文

基于括号表示法的一阶逻辑系统杜国平摘要：括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同，它是一种整体表示法。以命题逻辑的形式语言为例，...