论文部分内容阅读
通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差.本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正.本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解.
关于命题逻辑系统中相似度性质的修正
【摘 要】
：
通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差.本文的目标是通过构
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
采用密度泛函理论B3LYP/6-31+G*方法对含Y型均三嗪类衍生物的6个分子(Y1-Y6)进行几何构型优化,对其最优构型采用TD-DFT(TDB3LYP/6-31+G*)计算电子吸收光谱,用有限场FF方法及
在超原胞近似和slab模型基础上,采用周期性密度泛函理论,在0.11覆盖度(ML)下,对甲基与羟基在Ir(111)表面的吸附进行了研究,得到了甲基和羟基在Ir(111)表面不同吸附位置的吸附
本文从非线性Jaynes-Cummings模型出发,研究了受驻波场驱动的离子的质心运动振幅平方压缩效应.结果表明,非线性参数η对压缩效应有明显的影响.随着参数η的增大,离子处于压缩
采用基于密度泛函理论(DFT)第一性原理的平面波超软赝势方法,计算含有锑空位和铝空位的AlSb电子结构,发现空位引起周围原子弛豫,晶体结构发生畸变.在此基础上研究了空位缺陷
结合最新的离子与分子碰撞模型,编写在Simon 7.0平台下的离子运动模拟程序,实现了在漂移管电场中离子运动轨迹的模拟,开展在两种漂移管电极结构即均匀电场和周期性聚焦电场下
金属与非金属共掺TiO2半导体以提高对可见光的利用率是近期研究的一个热点.本文通过基于密度泛函理论的平面波超软赝势方法,计算了Mn-N共掺杂、Mn-C共掺杂、Mn-S共掺杂TiO2晶
在广义梯度近似(GGA)和GGA+ U(在位库仑势)下,采用第一性原理方法系统地研究了三元过渡金属硼碳化合物YPd3 X(X=B,C)的晶体结构、弹性性质、电子结构和成键特性.计算的晶格参
基于第一性原理计算,我们系统地呈现了三元合金Co2CrGa(100)表面的原子弛豫、磁性、电子结构以及表面原子极化行为.结果显示,由于Co-Ga和Co-Cr成键的差异,表面的Co和Cr原子分
文中以在众多领域中存在广泛应用的变系数函数5阶Korteweg-de Vries方程为研究对象，首先基于Ablowitz-Kaup-Newell-Segur系统推出方程存在孤子解的约束条件和Lax对，进而构造方
基于模糊分段非二次李雅普诺夫(Lyapunov)函数稳定性理论,对一类受外部干扰且带有离散无穷分布时滞的T-S模糊系统的广义H2稳定控制问题进行了讨论。通过设计非PDC(Non-PDC)模