【摘 要】
：
Kleene 的蕴含词“→”和开放世界假定的否定词“┐”构成的三值命题逻辑系统没有重言式, 这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我
【基金项目】
：
教育部人文社会科学基地重大项目2000DXM720.40002资助.
论文部分内容阅读
Kleene 的蕴含词“→”和开放世界假定的否定词“┐”构成的三值命题逻辑系统没有重言式, 这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,本文通过引进真算子T 和F, 直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO. 本文还给出了严格的形式语义, 并且用该语义理论证明了SKO 的可靠性和完全性.
其他文献
应用Abaqus/CAE有限元分析软件模拟哑铃形橡胶试样在单轴拉伸载荷下的Mises应力和拉格朗日应变分布,提取节点处的数据作为原始数据,导入Matlab二次开发的橡胶疲劳寿命计算程
在新常态下,银行业进入了中低速增长时代。在多重约束下,规模的快速扩张已成为历史,而注重内涵和效益的增长方式成为竞争的主旋律。笔者认为,国有商业银行应该结合自身规模、
镁合金作为最轻的金属结构材料,在汽车、3C、国防军工、航空航天等领域具有广阔的应用前景,但耐蚀性较差是其大规模应用的瓶颈。介绍了镁合金的腐蚀机理,包括全面腐蚀、局部
<正>《献血法》第十四条明确规定,公民临床用血时只交付血液的采集、储存、分离、检验等费用;具体收费标准由国务院卫生行政部门会同国务院价格主管部门制定。有偿用血,这个"
在一台改造的单缸柴油机上,研究了柴油中掺入正丁醇燃料在不同EGR率、进气压力下对燃烧、性能和排放的影响.结果表明,柴油中添加正丁醇燃料使着火滞燃期延长,缸内最大爆发压
从2009年起,安徽省开始新农合省级定点医疗机构住院医疗费用即时结报试点工作,取得了较好的成效,但也存在一些问题。对此,以某院为例,分析省级医院新农合住院费用即时结报过
通过问卷调查的方式,通过调研大学生基本生活情况和对高校专属APP的需求,收集了很多关于APP构建的建议,以此分析在高校中建立专属APP平台的可行性。结合当前大学生使用智能手
以天津市团泊再生水处理工程为例,介绍了粉末活性炭(PAC)在污水处理厂出水中的吸附特性、投加方式、投加系统的组成、投加点的选择、投加浓度的确定等内容。总结了粉末活性炭
应用CHEMKIN软件对正庚烷预混火焰中碳黑的先驱物PAHs的生成机理进行研究,得到了包含49种组分、94个基元反应的简化模型.该机理包含正庚烷的燃烧和PAHs的生成两部分,正庚烷的
2016年,是"十三五"规划的开局之年,更是我国立足国际国内发展战略、创新国土资源发展利用的至关重要的年度。面对全球化浪潮的席卷,传统的以家庭为单位的自负盈亏的农耕方式,