【摘 要】
：
现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各有冯莱特型、标准型和安德逊型,共计六个类型
论文部分内容阅读
现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各有冯莱特型、标准型和安德逊型,共计六个类型。一、冯莱特的一元规范逻辑冯莱特1951年的论文《规范逻辑》和著作《模态逻辑》所构建的一元规范逻辑,1964年《规范逻辑的一个新系统》,及其1965年的修正所构建的二元规范逻辑,在规范逻辑发展史上都有重要的意义,也都表现了冯莱特独特的风格,所以是不容忽视的。冯莱特一元规范逻辑的形式语言,是在古典命题演算的形式语言上,增加初始符号O(必须),增加
其他文献
7月10日，对曙光人来讲是一个值得兴奋的日子。这不仅是因为在这一天曙光在天津的产业基地正式启用，更重要的是，在这一天，历军向曙光人传递了一个更为振奋的计划：三年之内，曙光挂牌
1．绿洲沙漠化发生的潜在因子分析民勤绿洲地处西北内陆河西走廊东端,石羊河下游。西、北、东三面被巴丹吉林沙漠和腾格里沙漠所围绕。民勤盆地总面积2386万亩,而绿洲仅296.9万
近年来，根本改革高校学报办刊模式的呼声越来越高，似乎高校学报已到了不从根本上废弃现有的办刊模式就无法生存的地步。面在研究者们所设计的方案中，又几乎众口一词地要求高校学
对于风云二号C数据处理的三大系统,国家卫星中心提出了要使机群利用率、机群吞吐量、作业运行情况统计、项目的CPU时间全部实现可视化流程管理。
ERP在某种程度上是一个大型的运算器，只有所有的数据都正确输入了，它才能输出正确的计算结果。
不断挑战自己极限的戴尔，确实需要具有挑战精神的领导人，这一点，从戴尔中国这次的双总裁人选可以看出。
当前,解决下岗职工的再就业问题是一项复杂的、系统的社会大工程。解决得好,就能使我国的企业改革渡过难关、顺利地进行下去,就能促使社会主义的市场经济得以健康、有序地发
党的十一届三中全会以来，随着我国期刊出版事业的发展，各省都创办了一至数家综合性社科学术理论期刊（以下简称地方社科学术期刊），发展至今，全国约有此类期刊百家左右（不包括内部发行
优化结构，无论对于一个地区的出版业还是对整个国家的出版业而言，都是一项大的系统工程，优化产业结构、产品结构、价格结构、投资结构、组织结构、所有制结构均在其中。对于一个
图书是所有社会精神成果的总结性载体．从长远的文化建设过程来看，图书生产是一个社会文化不断积累和不断创新的文化建构大工程。而在这个大工程中，编辑起到了使精社产品科学、合