计算机科学 ›› 2011, Vol. 38 ›› Issue (5): 178-180.
• 人工智能 • 上一篇 下一篇
马盈仓,何华灿
出版日期:
发布日期:
基金资助:
MA Ying-cang,HE Hua-can
Online:
Published:
摘要: 对基于一级泛与运算的一阶谓词演算形式系统VULh[0.75,1]-进行公理化。通过引入全称量词和存在量词, 建立与命题形式系统VULh[0.75,1]相对应的一阶谓词形式系统VULh[0.75,1],并证明该系统的可靠性定理及演绎定理。
关键词: 泛逻辑,谓词演算形式系统,泛与运算
Abstract: The aim of this paper is the axiomatization for first order predicate calculus formal system VULh[0.75,1] based on first-level universal AND operator. 13y introducing the universal quantifier and existential quantifier, the predi- cute calculus formal deductive system VULh[0.75,1], based on 1-level universal AND operator according to propositional calculus formal deductive system VULh[0.75,1] of universal logic was built up, moreover, the soundness and deduction the- orems of system VULh[0.75,1], a were proved.
Key words: Universal logic, Predicate calculus formal system, Universal and operator
马盈仓,何华灿. 谓词形式系统VULh[0.75,1]及其可靠性[J]. 计算机科学, 2011, 38(5): 178-180. https://doi.org/
MA Ying-cang,HE Hua-can. Predicate Formal System VULh[0.75,1]and its Soundness[J]. Computer Science, 2011, 38(5): 178-180. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I5/178
Cited