论文部分内容阅读
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α＋]-MP）规则，使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外，逻辑系统W中的广义语义MP规则也成为一个特例。
逻辑系统Hα中广义语义MP规则证明的改进
【摘 要】
：
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α＋]-MP）规则，使得对Hα系统中的广义语义MP规则有了
【机 构】
：
西安文理学院数学系,陕西师范大学数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年22期
【基金项目】
：
基金项目：国家自然科学基金（ No.10871121）,西安文理学院中青年科研基金（No.kyc201040）.
其他文献
正区域的计算在粗糙集的应用中十分重要。在深入研究粗糙集基本理论的基础上,围绕不可分辨关系,得到了一种计算正区域的等价方法,提出了一种论域递减式的计算正区域的算法。
提出一种基于图像矩阵判别局部保持投影的人脸识别方法。图像矩阵判别局部保持投影是在局部保持投影基础上进行了扩展,考虑了类标签信息并在其目标函数中增加类间散度约束,使得求解的特征更具判别性。另外,图像矩阵判别局部保持投影是直接处理图像矩阵而不需要将矩阵转化为向量,保留了像素间的空间位置关系,避免了奇异性问题。实验结果表明该方法是有效的。
在分析“互联网＋”时代中小城市文献资源建设的特殊性的基础上,阐述了其可持续发展所面临的问题,提出了可持续发展策略：树立可持续发展观念;优化法律法规、人力资源、数字资源
本文浅述了耙吸挖泥船耙头技术的发展,对其耙吸机理适应工作状态的结构进行分析,并就采取提高切泥能力的措施进行探讨,以及对如何选择、应用耙头提出看法.
长江南京航道工程局是中华人民共和国交通部直属企业，具有建设部首批颁发的航道工程、河湖整治工程专业承包一级资质的国有大型施工企业。拥有国家商务部授予的对外经济技术合
本文讨论了MARPOL 13F和25A对巴拿马型油船总体方案的影响,对比分析了一些总体分舱方案的优缺点,提出了针对MARPOL新规则的一些有效的改善措施.
对于能兼运散装谷物的多用途集装箱船而言,由于散装谷物具有一定的流动性,对船舶稳性产生类似于液体自由液面的不利影响.为此IMO.MSC.23(59)-"International Load for Safe C
对高强度锻件的应用和硬度检测的要求进行了阐述，引入测量不确定度的定义。举例说明了测量不确定度在硬度检测中的应用，并对布氏硬度的不确定度进行了详细的评定，对工程技术人员