国家社会科学基金重点项目(13AZX019)国家社会科学基金重大招标项目(14ZDB014)论文

摘要：括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同，它是一种整体表示法。以命题逻辑的形式语言为例，可以证明括号表示法的唯一性定理。在...