【摘 要】
：
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理
【基金项目】
：
国家自然科学基金（No.60875034）, 西南交通大学博士生创新基金
论文部分内容阅读
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和（F1→F2）＇的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。
其他文献
HER2是细胞表皮生长因子(EGF) 酪氨酸激酶受体家族的一员,其表达状况直接影响上皮细胞的増殖、分化和存活.erb-2原癌基因的过度表达导致在细胞膜表面过度表达HER2受体而容易
1临床资料患儿男,11岁.皮肤感染二周后,浮肿少尿,血尿伴呕吐7 d收入本院.曾在当地医院住院检查,BP 128/106 mmHg.尿常规:PRO(++),RBC(卅),血尿素氮25.3 mmol/L,血肌酐335 μm
<正> 三明市为了保护市区环境,美化市容,将市区周围约2万亩森林划为环保林。这约2万亩环保林按规划设计经营要求的不同,可划分为二类:一类被确定为以发挥森林生态效益,保护市
一林业作为有计划地培育、保护和利用森林,以实现森林多种效益永续利用的经济事业和社会事业,人们对它的定义各不相同,如林业是“培育、保护和利用森林的生产部门。一般包括
目的:探讨哮喘患者IgE高亲和力受体β链基因(FcεRI-β)E237G位点多态性与支气管哮喘的相关性.方法:采用扩增阻滞突变体系聚合酶链反应(ARMS-PCR)结合琼脂糖凝胶电泳的方法,
加强中国共产党执政文化建设必须深刻认识推动执政文化建设的必要性,理解执政文化建设的内容要求,准确把握执政文化建设的准则,努力探索执政文化建设的对策.
搞好医疗卫生机构消毒及其管理工作 ,是医疗卫生工作的基础 ,也是控制医院内感染的重要途径。村级医疗机构是医疗卫生工作三级网的最基层单位 ,抓好村级医疗机构的消毒及其管
患者女,26岁,未婚.临床诊断右侧输尿管下段先天性畸形,拟输尿管移植术.选连续硬膜外麻醉,取L2～3间隙穿刺,向头置入导管4 cm.整个操作顺利,患者无触电感及麻肿感,平卧后经导管
【正】 目前,人们普遍认识到,在社会主义有计划商品经济条件下,由商品经济发育和发展,社会化生产程度日益壮大,企业作为相对独立的商品经济组织,在激烈的竞争中,都存在着生存
目的:了解南昌地区献血人群的ABO、Rh血型的分布状况,探讨其血型抗原表现型频率分布间是否相关.方法:应用红细胞凝集试验和抗D盐水法及抗人球蛋白法分别测定ABO和Rh血型并确