节点文献
从形式逻辑的角度看SETP 1.0
【机构】 北京联合大学信息学院； 北京大学； 中国农业大学；
【摘要】 <正> 一、SETP 1.0对简介SETP是Single Empirical Theorem Prover(单经验定理证明器)的缩写。该软件基于周训伟所创立的互逆主义逻辑的二阶逻辑,用于证明单经验定理。从逻辑程序设计的角度来看,SETP1.0是对Prolog语言提升了一阶,因而又叫做二阶Prolog语言。互逆主义逻辑是形式逻辑的现代化。从形式逻辑的角度来看,SETP1.0可以进行直接推理、三段论推理、连锁三段论推理,推出全称判断与特称判断,因此又叫做全称判断与特称判断证明器。
- 【会议录名称】 逻辑教学·知识创新·素质教育研讨会论文集
- 【会议名称】逻辑教学·知识创新·素质教育研讨会
- 【会议时间】2001-08
- 【分类号】B812
- 【主办单位】北京市逻辑学会