论文部分内容阅读
给出一个新区间值的定义，在此基础上进一步给出了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年厦门市政府为民办实事的十大重点工程之一,是市场
现代康复医学２０世纪８０年代初在我国刚刚起步，康复科住院医师培训有待规范化，科学化。本文就康复医学住院医师培训的原则，实施方案进行初步探讨。
以径向基函数RBF为核函数,根据测井数据建立支持向量机的地层识别模型（SVMM）.通过对SVMM分类器中惩罚参数C的优选,结合生产工程需要引入判断函数,提高了SVMM分类器的分类正确率
已证实乳腺癌细胞表达有VEGF165的第3个受体NRP1,但目前在乳腺癌细胞中过表达VEGF165对肿瘤周围血管生成模式的影响尚未有人研究.通过脂质体转染的方法得到稳定转染过表达VEG