模态逻辑典范框架几个侧面

来源 :2013年全国应用逻辑学术年会 | 被引量 : 0次 | 上传用户:zhouxiangguchan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究.为此,总结了关于典范框架的几个侧面的事实.
其他文献
麝香取麝香仁少许,置铁片上烧试,初则进裂,随即膨胀冒泡,油点似珠,香气浓烈四溢,灰烬白色或灰白色.若有动物性组织(如血、肌肉、肝脏等)掺杂,火烧有焦臭气,灰烬呈紫红色或黑
以凯瑟林娜.赖斯基于文本类型的翻译批评理论为基础和框架,就孙致礼和张谷若的翻译理论及二者对《苔丝》的两译本展开对比分析。从文本类型、时代因素和读者接受能力三方面论
伴随网络发展而成长起来的"90后高职学生"标新立异、离经叛道,成为互联网时代为社会关注的现象。本文通过剖析影视文化作品对90后高职学生网络行为的塑造,透过文化视角探讨这些
校园文化作为高校办学中所形成的理想追求、精神气质、价值观念等的集中表现,其可持续发展有利于促进师生团队的建设,并促进学校综合竞争力的提升。基于党建工作在校园文化建
回顾了建立在词汇联想测试基础上的二语心理词汇组织模式的主要观点,即语音说、语义说和句法说。然后提出未来二语心理词}12研究的几个新方向:对心理词汇的动态研究、对联想反
纵观国内外高等教育的发展历程,实践育人无疑是提高高等教育质量的重要一环。高等农林院校肩负着推动现代农业产业转型升级、服务现代农业产业体系、培养“三农”发展人才等重