括号表示法相关论文
张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性......
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑......
