首页 | 本学科首页   官方微博 | 高级检索  
     检索      

一阶形式系统K~*及其完备性
引用本文:裴道武.一阶形式系统K~*及其完备性[J].数学年刊A辑(中文版),2002(6).
作者姓名:裴道武
作者单位:西安交通大学理学院 西安710049 盐城师范学院数学系,江苏盐城224002
摘    要:模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.

关 键 词:模糊逻辑  一阶谓词演算  形式系统K~*  R0代数  完备性

FIRST-ORDER FORMAL SYSTEM K~* AND ITS COMPLETENESS
PEI DaowuFaculty of Science,Xi'an Jiaotong University,Xi'an ,China.FIRST-ORDER FORMAL SYSTEM K~* AND ITS COMPLETENESS[J].Chinese Annals of Mathematics,2002(6).
Authors:PEI DaowuFaculty of Science  Xi'an Jiaotong University  Xi'an  China
Institution:PEI DaowuFaculty of Science,Xi'an Jiaotong University,Xi'an 710049,China, Department of Mathematics,Yancheng Teachers College,Yancheng 224002,China.
Abstract:The formal deductive system L* of fuzzy propositional logic has been successfully applied to the joint research of fuzzy logic and fuzzy reasoning. In this paper, besed on the system L*, corresponding first-order logic system K* is built up, and its completeness also is proved.
Keywords:Fuzzy logic  First-order predicate calculus  Formal system K*  R0 algebra  Completeness
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号