证明演算相关论文
定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩......
定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。......
