论文部分内容阅读
给出一个新区间值的定义，在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义．同时由一类特殊的公式序列Ak,k=1，2，…，证明了可达矛重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立．
Lukasiewicz区间值命题逻辑的广义重言式
【摘 要】
：
给出一个新区间值的定义，在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义．同时由一类特殊的公式序列Ak,k=1，2，…，证明了可达矛重言式类类不空和类类互异定
【机 构】
：
河南师范大学计算机与信息技术学院
【出 处】
：
河南师范大学学报(自然科学版)
【发表日期】
：
2009年3期
其他文献
现在,世界卫生组织(WHO)对国际残疾人的分类已从ICIDH修改为ICF(ICIDH2).本文针对ICF、作业治疗一词的来源、作业治疗前辈们的格言、日本作业治疗的现状进行简单介绍,对作业
目的分析工业伤害发生的特征、现状和危险因素,为今后职业伤害的预防与控制、工伤补偿、职业康复3项任务的有机结合提供依据.方法根据国际疾病ICD-9分类,从我院1990年至今的
目的观察综合康复医疗程序治疗腰椎间盘突出症的作用.方法对98例腰椎间盘突出症患者采用机械牵引、推拿按摩和体育疗法.结果痊愈66例,好转28例,无效4例,有效率96%.结论采取3
厦门市残疾人康复中心是在厦门市残联的指导和协作下,自筹资金,于2001年2月28日建成开业的.残疾人康复中心的建立也是2001年厦门市政府为民办实事的十大重点工程之一,是市场
已证实乳腺癌细胞表达有VEGF165的第3个受体NRP1,但目前在乳腺癌细胞中过表达VEGF165对肿瘤周围血管生成模式的影响尚未有人研究.通过脂质体转染的方法得到稳定转染过表达VEG