论文部分内容阅读
王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统上有一定的可行性。
四值非线性格值逻辑上公式的真度理论
【摘 要】
：
王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度,得到
【机 构】
：
华北水利水电学院数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年30期
【基金项目】
：
河南省教育厅自然科学基金
其他文献
<正> 东贾柏村位于汶上县城东南约2.5公里处,村北为兖(州)汶(上)公路。遗址在村庄的东南侧,为一突出的台地。遗址北侧地势较为低洼,并暴露出大片的沙层以及深达10余米的沙坑,
目的:分析扶正益髓方在防治乳腺癌术后化疗骨髓抑制过程中的效果。方法:将在我院术后化疗的乳腺癌患者96例随机分为研究组49例,对照组47例。研究组采用专家组总结之扶正益髓
目的研究壁虎多肽混合物（GPM）对人肝癌SMMC7721细胞自噬的影响。方法取对数生长期细胞种板,用不同质量浓度的GPM(0,0.04,0.06,0.09,0.14,0.20,0.30,0.45 mg·m L-1)处理SMMC772
在激励函数有界且满足扇区条件的情形下研究了一类同时具有时变时滞和无穷分布时滞的神经网络系统全局稳定性.通过构造一个包含更多信息的新的Lyapunov泛函,利用自由权矩阵更
1解题方法和思路“追及”和“相遇”是两个物体运动关系中典型的问题，解此类问题时，应先在理解题意的基础上画出运动关系的示意图，弄清两物体的运动关系（位移关系和时间关系）．这类
针对Ad hoc网络中移动节点能量有限的问题,综合考虑节点剩余能量和节点能量消耗速率两方因素,提出一种基于节点生存时间的路由算法MRL（Maximum Routing Life）。通过估算节点使
<正>氧气能支持燃烧,且能使带火星的木条复燃,这是不争的事实。那么要使带火星的木条复燃,氧气的浓度极限是多少呢?如何准确测定?宋时雨和胡达刚曾分别对使带火星的木条复燃
目的探讨急性脑梗死早期外周血清中miRNAs水平与侧支循环建立的关系及临床意义。方法选择2014年1月-2015年11月在我院住院的急性脑梗死患者,根据其脑侧支循环状况,分为侧支循
当代中国政治思潮既是当代中国政治发展的一面镜子,又是驱动当代中国政治发展的重要思想资源。当代中国政治思潮的产生与演进,是与当代中国政治、经济和社会的变动紧密联系在
应用十六烷基三甲基溴化铵对蒙脱石进行改性，成功地制备稳定性良好的异咯嗪蒙脱石修饰电采，用循环伏安法对此修饰电极的电化学行为进行了研究。测定了异咯嗪在蒙脱石膜内的化学