G(o)del区间值逻辑系统的广义拟重言式

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:a11253919
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
吴洪博博士蒋王国俊教授在R0逻辑系统中的广义重言式理论推广到Godel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划.将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划.
其他文献
在高中美术鉴赏课中,我们可以通过改变教育模式让学生在感受美的过程中提高对艺术的鉴赏力,同时激发学生的学习兴趣、创新思维和想象力,进而培养学生的人生观、价值观。本文
期刊
期刊
患者男 ,11岁 ,以“行走不稳 18个月 ,加重 6个月”之主诉于 2 0 0 3年 8月 3日入院。 18个月前 ,无明显诱因出现行走不稳 ,易于跌倒 ,后渐感双下肢力量差 ,双上肢如常 ,无言
[创课缘起]rn随着手机和信息技术的普及运用,为了能尽快寻找走失人员,我们经常会在微信朋友圈看到各种各样的“寻人启事”.一般人看到之后,出于人道主义,都会不假思考、不对
期刊
本文通过对荣华二采区10
期刊
2010年是值得纪念的一年,是意义深远的一年,是山东阳谷华泰化工股份有限公司发展历程中的里程碑。经中国证监会证监许可[2010]1163号文件批准,公司于2010年9月成功向社会公众
中华优秀传统文化是中国文化的经典,在初中生物教学中融入传统文化,不仅能激发学生的学习热情,充分调动学生的学习积极性,更能达到为课堂增添美感,提升教学的艺术性.
对我国北方阔叶木速生材三倍体毛白杨进行深度脱木素的改良硫酸盐法蒸煮(EMCC),得到EMCC纸浆。采用酶-弱酸解两段法从原料和EMCC纸浆中分离出原料木素和纸浆残余木素;采用酸
期刊
1概况长期以来,对照明灯具的检测只限于安全方面,对于性能,尤其是灯具效率,提及很少。一些发达国家或地区虽然提出在灯具销售时必须附上光强分布曲线,但对其量值并未加任何限