一阶谓词演算相关论文
引入两个引理分析了一阶语言中赋值的性质，简化了项的代入定理的证明，新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系．......
在模糊命题逻辑系统F^M1的基础上，建立了一个基于FI一代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念，并基于安全......
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一......
尽管现代数理逻辑发展到相当精致的水平,但不能直接把现代数理逻辑当作"法律逻辑"从"自然推理系统"到"法律推理系统",这中间还需要......
本文研究了程序设计语言的类型系统与数据模型的；认识到类型间关系是表示数据模型的一种。基地这一思想，提出了ＰＣＴ类型描述语言及其基于......
