公式长度相关硕士博士期刊学术论文

括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑......