【摘 要】
：
本文对关系语义(或Kripke语义)下极小非正规模态逻辑C2进行时序化处理,得到极小非正规时序逻辑C2t,并建立了C2t的Hilbert式公理系统HC2t,证明了其可靠性和完全性,C2t比极小时序逻辑Kt更具有一般性.本文还从证明论的角度对C2t进行了研究,建立了C2t的一个加标矢列式演算系统GC2t,并且证明了GC2t的可靠性和完全性,同时还证明了GC2t的切割消除定理(cut eliminat
论文部分内容阅读
本文对关系语义(或Kripke语义)下极小非正规模态逻辑C2进行时序化处理,得到极小非正规时序逻辑C2t,并建立了C2t的Hilbert式公理系统HC2t,证明了其可靠性和完全性,C2t比极小时序逻辑Kt更具有一般性.本文还从证明论的角度对C2t进行了研究,建立了C2t的一个加标矢列式演算系统GC2t,并且证明了GC2t的可靠性和完全性,同时还证明了GC2t的切割消除定理(cut elimination),然后得到C2t的可判定性.在GC2t中还可以进行证明搜索.
其他文献
目前科研人员已经研发了许多基因组编辑工具,新的基因组编辑工具也在不断地探索中,其中有一些编辑工具,如CRISPR/Cas9系统已经被广泛地应用于植物遗传学、生物技术和育种等各方面.基因组编辑技术可以对农艺性状相关基因的特异序列进行精准编辑,从而开启了作物改良的新时代.本文聚焦于植物基因组编辑试剂材料导入及转化的最新方法及进展,比较了各种导入及转化系统的优缺点,最后讨论了植物基因组编辑试剂材料导入及
本文首先论述了影响大型射电望远镜高精度指向偏差的主要因素,然后以天马65?m射电望远镜(TM65?m)为实测对象,介绍了从天线副面开始到轨道之间,分离检测各项指向偏差的方法,包括:评估整体天线指向偏差的半功率点检测法;检测副面支撑位置变化导致指向偏差的方法;检测天线座架因温度变化导致指向偏差的方法;检测机械轴和码盘轴之间不同步导致指向偏差的方法;基于轨道不平度数据进行高精度指向建模的方法.文中给出
深空探测器的VLBI相位参考定位一般是以河外源为参考源,深空探测器为目标源,通过对河外源的观测数据进行条纹拟合,获得延迟和延迟率,用以改正这些效应对深空探测器的VLBI观测相位数据的影响,由于两者角距较近,主要误差源如传播介质延迟的影响通过对两者相位的差分得以基本消除,通过成图后可以获得两者的高精度相对位置.然而,这种传统的VLBI正相位参考定位方法对河外源的强度有较高的要求,即观测数据必须有足够
根据1993-2015年南极中山站Brewer光谱仪臭氧总量测值,分析比较不同时期卫星探测反演的大气臭氧总量误差特征.结果表明,卫星测值总体偏高,这与以南、北半球中纬度为主的全球比对结果(卫星测值总体偏低于)不同,但误差没有超过4%.对同一颗卫星一天多次过境测值的选取中,注意到太阳天顶角(SZA)最低时的测值与地基一致性最好(平均误差为-0.02~1.15%).TOMS算法反演的臭氧总量(含SBU
科学技术是第一生产力,但科学技术必须为应用者所掌握才能转化为现实的生产力.我国每年约有2.5万项登记的科研成果,但转化为现实生产力却不到50%~[1].在我国农村,由于受农户经营规模小、知识不足、信息和资源缺乏等因素的限制,农业科技成果转化为农民生产力的效率则更低.资料显示,我国每年约有6000~7000项农业科技成果而世,但成果的转化率仅为30%~40%,远低于发达国家的70%~90%水平~[2
肿瘤抑制蛋白p53被称为"基因组卫士",其参与调控正常生理状态下细胞内环境稳态的维持,并在细胞受到内外刺激因素作用时发挥抵抗肿瘤形成的重要功能.正是因为p53功能的重要性,所以对p53适时、适度的调控是确保其正常行使功能的必要条件.研究发现,对p53的调控主要发生在翻译后修饰水平,主要包括对p53的乙酰化修饰、磷酸化修饰和泛素化修饰等~[1].其中,P53的乙酰化修饰多年来备受关注,尤其是P53羧
在整个哺乳动物的生命周期,海马齿状回的颗粒下区及侧脑室的室下区都会不断产生新的神经元.借助新的研究方法,对脊髓内源性神经干细胞(室管膜细胞)的特性及它们在在成年脊髓发育方面作用的研究已取得了重大进展.最近的研究揭示了重要的外在和内在的分子机制,它们支配着成人脊髓神经发生的顺序步骤.这篇综述主要讨论内源性神经发生的概念;脊髓损伤后室管膜细胞的反应;室管膜细胞的异质性和标志物,调节室管膜细胞的因子,及
脆性X染色体综合征(fragile X syndrome,FXS)患者在FMR1基因的启动子区具有超过200个以上CGG三核苷酸重复片段,导致其编码的脆性X智力低下蛋白(fragile X mental retardation protein,FMRP)的表达减少或缺失.然而目前尚未在单核苷酸分辨率(即RNA-seq)水平上鉴定FMRP缺失所引起的转录组变化.本文对FXS患者成纤维细胞来源的诱导多
我国近年大气污染日趋严重,环保部自2013年起在其官方网站公布国家空气质量监测站的大气污染物数据,为我们进行大气污染的研究提供了数据支持.本文选取了2015年的PM2.5数据,探讨PM2.5的变化是局域性还是全局性的.由数据可计算各监测站之间PM2.5的关联,通过主成分分析可确定PM2.5的昕有本征涨落模,其中第一涨落模在第一、二和四季度呈现出同涨同跌的特性,表明PM2.5变化是全局性的.在第三季
异构网络中视频流分层组播的层速率优化问题主要涉及分层数、分层速率和用户链路带宽,针对层速率优化NP-hard问题,本文提出一种基于用户簇的分层组播层速率优化UC-LRAO(layer rate allocation optimization with user cluster)算法.根据用户数对视频流进行分层,确定每层用户数和各用户承载分层视频流的带宽,采用最大流–最小割的Edmonds-Karp