• 基于括号表示法的一阶逻辑系统论文

    基于括号表示法的一阶逻辑系统论文

    基于括号表示法的一阶逻辑系统杜国平摘要:括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,...
  • 关于“不用联结词的逻辑系统”的注记论文

    关于“不用联结词的逻辑系统”的注记论文

    主持人语:中国逻辑学会会长邹崇理研究员波兰逻辑学家卢卡西维茨曾建立被称为波兰表示法的符号系统,仅仅使用联结词符号就可以无歧义地表达公式。中国逻辑学家张清宇先生在20世纪90年代...