论文部分内容阅读
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.
一阶形式系统K^＊及其完备性
【摘 要】
：
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.
【机 构】
：
西安交通大学理学院
【出 处】
：
数学年刊：A辑
【发表日期】
：
2002年6期
其他文献
今年是落实《中国-东盟战略伙伴关系2030年愿景》的开局之年,也是中国-东盟媒体交流年。9月21日上午,以“共建‘一带一路’,共绘合作愿景”为主题的第16届中国-东盟博览会、
目的：探讨各种肝病患者血清HDL-C、apoA1及apoB100水平变化。方法：采用直接酶法和免疫透射比浊法检测各种肝病患者血清HDL-C、apoA1、apoB100水平。结果：各种肝病患者血清HDL—C
目的探讨不同海拔高度对藏族青壮年人群高血压发病率及其心电图的影响。方法选取2014年8月—2015年8月于四川大学华西医院西藏成办分院住院的藏族患者及家属356例,根据居住环
又名Common Oleander,Oleanderblatter,Oleandri folium,Rose Bay,Rose Laurel,Yellow Oleander。植物名Nerium oleander;Thevetia peruviana。活性成分与药理作用夹竹桃的所
小津安二郎是日本电影史乃至世界电影史上不容忽视的一位导演。他的作品从叙事手法到视听语言都自成一脉,形成了独有的形式系统。电影《晚春》作为开启小津安二郎后期一系列
血栓素A（2TXA2）、前列环素（PGI2）是近年发现的生理活性极强,作用完全相反的一对血管活性物质。目前认为血小板活化与内皮细胞损伤是糖尿病肾病（DN）发生的两个重要环节。本文旨在进
本文用凸函数的方法研究了概率测度的矩母函数和由C.J.Stone提出的拟对称性,并刻画了Martin边界的法向量.拟对称性在随机游动的比例极限定理中是一个重要的概念.这些结果可应
通过考虑具二阶导数项的Landau-Ginzburg自由能量泛函，本文导出一类广义扩散模型，进而采用经典的能量估计方法和对所引入的能量泛函进行精细的分析，获得了所论模型解的存在性和
目的：探讨参附注射液在心脏骤停综合征（PCAS）中的治疗作用及机制。方法：62例患者被随机分为两组，对照组予常规治疗，治疗组在常规治疗基础上加用参附注射液静滴，疗程14d。治疗过程中
对满足强分离条件的自相似集,本文给出一种估计填充测度下界的方法,称为部分估计原理.利用这种估计方法得出的某些自相似集的填充测度的下界,往往和准确的填充测度值相等.