论文部分内容阅读
本文在模糊命题逻辑演绎系统的基础上，引入了模糊意义下的一阶逻辑的相关概念，建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。
初等模糊一阶逻辑的准形式演绎系统
【摘 要】
：
本文在模糊命题逻辑演绎系统的基础上，引入了模糊意义下的一阶逻辑的相关概念，建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。
【机 构】
：
上海财经大学
【出 处】
：
淄博学院学报：自然科学与工程版
【发表日期】
：
2001年1期
其他文献
介绍了利用遥感技术实现动态监测土地资源利用的主要技术流程,分析了遥感技术在国土管理应用中存在的优势和问题,探讨了动态遥感监测在国土管理中的应用趋势.
给出了未知函数的一种线性变换，旨在消去未知函数的零阶导数项而将 方程化为可降阶的类型。
纤毛虫的纤毛模式（又称纤毛图示）的研究，一直是原生动物学研究中较为活跃的领域．它主要研究原生动物的形态及形态发生、分类鉴定、细胞遗传等．由于涉及到细胞分化以及形态发生过程
本文研究了矩形单幂幺半群的强半格的特征和结构
论述了非工作可靠性的概念、重要性,分析了影响产品非工作可靠性的各种因素,探讨了研究产品非工作可靠性的几种方法 .
对酯交换法、甲醇氧化羰基化法、二氧化碳甲醇直接合成法等非光气路径合成碳酸二甲酯（ＤＭＣ）工艺的最新研究状况进行了综述，分析比较了各种合成工艺的优缺点，探讨了我国今后在ＤＭＣ合成工艺
针对基于Web方式的实时答疑系统的功能及实现方法进行了讨论,并给出了实际的解决方法.
从甜叶菊根部土壤中分离到放线菌A01和A64两个菌株,生长繁殖速度快,抗污染能力强,抑菌效果好,为高效拮抗菌株. 两个拮抗菌株的拮抗活性能稳定遗传. 初步鉴定两菌株为链霉菌属
正确认识与处理高职院教师的心理挫折,是调动其积极性的一个重要方面,同时也有助于教师正确认识这一常见的心理现象,提高他们忍受挫折的心理容忍力,走出心理误区。
与其它类型的发动机冷却风扇驱动相比，液驱风扇系统更合理，本文作者针对WD615/67发动机的特点研制了相应的智能型液驱风扇系统，试验表明，发动机装用该液驱风扇系统以后性能明显改