【摘 要】
：
布尔模态（即模态生成算子补、交、并）涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargo
【机 构】
：
北京师范大学哲学与社会学学院,浙江师范大学附属义乌实验学校
【基金项目】
：
supported by the National Social Science Foundation of China（No.12CZX053）, the Fundamental Research Funds for the Central Universitie（No.SKZZY201304）
论文部分内容阅读
布尔模态（即模态生成算子补、交、并）涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有这两个不足之处。
其他文献
目的 探讨高压注射器在16层螺旋CT增强扫描中的应用与护理方法.方法将采用高压注射器注射造影剂行16层螺旋CT增强扫描的799例患者,进行回顾性分析、总结出高压注射器应用与护理方法.结果高压注射器注射造影剂时774例注药顺利;无一例出现严重过敏.结论掌握高压注射器各环节使用方法,针对高压注射器使用的过程中出现的情况,对患者采取不同的护理措施,可减轻患者恐惧心理和药液外渗所造成的痛苦,防止过敏反应的
加强高校辅导员队伍建设是新时期开展大学生思想政治教育工作的需要，也是构建高校和谐校园的内在需求。高校辅导员队伍建设要在科学发展观的指导下，创新人本德育理念、走职业化
摘要：初中信息技术教师要构造生活化的信息技术课堂，在教学中运用学生已有的经验和常识，善于发掘生活中的信息技术教育资源，运用生活实物进行教学，强化观察和操作，开展生活化的教学环节，丰富初中信息技术课程生活化的策略。 关键词：信息技术课程、生活化、策略 信息技术生活化就是学生从生活中发现信息技术，借助生活经验学习信息技术，将信息技术运用到生活中。 一、构造生活化的信息技术课堂 1、运用以生为本
【摘 要】随着新课程改革的不断深入实施，家长和教师越来越重点关注小学语文教学怎样在适应教学改革的同时尽可能的满足学生日后成长和发展的需求，这是因为小学语文教学是一门基础性的学科。通过长期的研究和实践教学，在小学低年级语文教学中引入朗读教学能够在很大程度上对学生的逻辑表达能力和语言理解能力等方面发挥着积极的作用，但是在实际实施的时候仍然存在很多问题，这些因素可能会严重阻碍提升小学语文朗读教学的质量。
目的观察不同喂养方式对极低出生体重儿胃肠道发育的影响.方法选择104例极低出生体重儿,随机分成3组,第1组采用静脉营养;第2组在静脉营养的基础上加用早期微量喂养法;第3组在
“人本管理”就是在现代管理活动中以人为中心,以激励人的热情为最终目标。分析了图书馆＂人本管理＂的内涵,阐述了图书馆＂人本管理＂的必要性,提出了图书馆人性化管理的对策和方法
在模态逻辑中,出于构造有穷模型这一特殊动机,用于构造过滤的公式集被 设计成对所有子公式封闭的.事实上,仅就构造过滤模型而言,一个布尔代数可以经由 非独立的生成子生成,因
【摘 要】在英语教学中，词汇教学占着十分重要的作用，而词语的意义在具体的语境中才能准确的确定，所以，运用语境在英语中进行词汇教学是很有效的。在英语中，词汇在不同的语境中会拥有不同的意义和表达方法，在英语词汇教学中应用语境理论能够有效的解决学生对英语词汇的理解问题，利于教师的教学和学生英语成绩的提高。 【关键词】语境;英语教学;词汇 近一段时期以来，英语教学中的词汇教学应经引起了人们的重视。但是
准确定位，走特色办学之路，以培养高级应用型人才为主，为地方经济和社会发展服务，已成为新建本科院校战略定位的核心。传统的教学观念、落后的教学条件、陈旧的教学方法已经不能适
在几年的工作实践中,笔者对内地新疆中职班所坚持的"严、爱、细"这一管理原则有了渐渐深入的理解:爱是工作的切入点,只有真心才能换得真情,有了情谊才有稳定;严是工作的手段,