论文部分内容阅读
在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了三种近似推理的模式,初步建立了计量逻辑学理论。
计量逻辑学(Ⅰ)
【摘 要】
：
在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了
【机 构】
：
陕西师范大学数学研究所,西安交通大学基础科学研究中心
【出 处】
：
工程数学学报
【发表日期】
：
2006年02期
【基金项目】
：
国家自然科学基金(10331010)．
其他文献
本文讨论解析函数的带两个位移和复共轭的如下广义联结问题。A0（t）φ+（t）+A1（t）φ+[α（t）]+A2（t）φ+[β（t）]+B0（t）φ+（t）+B1（t）φ+[α（t）]+B2（t）φ+[β（t）]+C0（t）φ-（t）+C1（t）φ-[α（t）]+C2（t）φ-[β（t）]+D0（t）φ+（t）+
肖邦一生写有24首《前奏曲》,是肖邦钢琴作品中的一个重要体裁,尽管篇幅都比较短小,但风格上各个不同,内容上标新立异,情调上丰富多变,艺术形象上鲜明突出,在其浩如烟海的钢
<正>记者:请问贵公司研制成功的新支流(H9)的创新点在哪里?孙总:新支流(H9)三联灭活疫苗的成功研发,标志着我国禽用多联灭活疫苗自主研发和创新能力上了一个新台阶,该疫苗作
随着近年来我国教育改革的深化、素质教育的全面推进和高校扩招政策的出台,各高校办学规模不断扩大,教学资源的日益紧张,随着学生人数不断增多,教务管理的难度也越来越大,面
<正>19世纪50年代,新城疫病毒使人的晚期胃癌的转移受到抑制的情况引起人们的关注。随后的研究发现NDV在肿瘤细胞中的复制是在正常细胞中复制的10000倍[1];而且仅特异性地杀
鲍照与李贺,一个是六朝门阀时期苦不得志的庶士,一个是唐朝科举时期怀才不遇的王孙。二人是两个不同朝代的典型文人,是怀抱利器而不得志的士人群体的杰出代表。在社会与自然
互联网拓宽了企业的营销渠道,使得网上销售对企业销售渠道模式会产生重大影响,本文分析了企业网上销售渠道的特点,同时也给出了网上销售渠道的三种模式:作为网上零售商的供应
改革开放初期,我国城市经济发展水平较低,吸收就业能力不强,对于城市大量的劳动适龄人口,国家采取的是允许个人自谋职业的劳动就业政策,非正规部门开始出现“萌芽”。九十年
目的对骨科损伤控制在不稳定骨盆骨折合并四肢多发骨折治疗中的应用效果进行分析。方法选取萍乡市人民医院收治的26例不稳定骨盆骨折合并四肢多发骨折患者,随机均分为对照组
目的了解大学生儿童期虐待发生情况及其影响因素,为制定干预策略提供科学依据。方法用自填式问卷,对1 762名大专学生就有关儿童时期受虐待经历进行不记名回顾性调查。结果在