波兰表示法相关论文
汉语中的“不可得兼”型联结词是一个在表达命题之间逻辑关系上能力完备的逻辑联结词,和析舍的表达能力等价。使用括号表示法,“不......
张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性......
