【摘 要】
:
模态逻辑的典范性由“局部”典范性拼接而成。本文讨论了“局部”典范性问题,即一个模态逻辑的典范框架的什么样的生成子框架是该逻辑的框架。主要的结果是证明了一个逻辑的典
【基金项目】
:
本文得到国家社会科学基金项目(编号08CZX020)以及中国博士后基金项目(编号20080431311)的资助.
论文部分内容阅读
模态逻辑的典范性由“局部”典范性拼接而成。本文讨论了“局部”典范性问题,即一个模态逻辑的典范框架的什么样的生成子框架是该逻辑的框架。主要的结果是证明了一个逻辑的典范框架的有界宽的生成子框架都是该逻辑的框架,并且典范框架内嵌了所有该逻辑的有穷宽框架。
其他文献
位于松嫩平原的黑龙江农垦绥化管理局下辖9个衣牧场,横跨大庆、绥化、伊春3个地区,共有耕地132万亩,其中粮食播种面积118万亩。1991年管理局开始立项实施农业综合开发,到目前为止
<正> 近年来,在肝硬化顽固性腹水的非手术治疗方面有很大进展,如腹水浓缩法(超滤浓缩、透析浓缩、冰冻浓缩)及腹水回输体内浓缩法等。我院在无菌条件下,定量定速,试以自身腹
目的:观察微创经皮肾技术治疗肾盂输尿管连接部梗阻(UPJO)的疗效。方法:从2001年8月~2004年12月采用顺行经皮肾腔内切开的方法治疗肾盂输尿管连接部狭窄患者26例(21例继发,5例原发)。
近年来,江苏省南通市市县两级农发机构与财政部门一道,从完善制度入手,不断创新管理机制,加强对项目工程招投标工作的监管,努力营造公平竞争、规范有序、廉洁高效的市场环境,取得良
临床资料:124例病人全部为门诊病例,均以月经过多或经期延长为主诉。病程4个月-15年,年龄15—50岁,其中15—23岁36例,24—39岁20例,40-60岁68例。
<正> 该厂1970年8月正式投产,主要产品为电解铝锭,扩建前最高年产量为2.8万吨,主要生产原料为氧化铝、阳极糊、氟化盐等,生产能源以电为主。1984年国家批准分期扩建,值此,我
大面积脑梗死通常是颈内动脉主干、大脑中动脉主干或者皮层支完全性卒中。表现为,病灶对侧完全性偏瘫、偏身感觉障碍及想病灶对侧凝视麻痹。椎-基底动脉主干梗死可伴头痛、意识障碍、四肢瘫和多数脑神经麻痹等呈进行性加重,可出现明显脑水肿和颅内压增高征象,老年人发病率更高。2008年1月~2011年1月收治大面积脑梗死患者25例,本文就其临床特点做以下分析。 资料与方法 入选病历诊断均符合全国脑血管病学术会
文章通过对精神科特色实习的记述,总结了带领学生从事精神科实习的经验和不足。
福建省日前决定,帮助全省1878个没有卫生所的行政村建卫生所。这是福建省委、省政府2005年为民办实事的项目之一。
<正> 我院自1985年以来,采用乙状结肠移植治疗先天性无阴道儿例,术后随访,疗效满意,现报告如下。临床资料一、一般情况:11例中,年龄最小者17岁,最大32岁,平均年龄21.5岁。女