论文部分内容阅读
定义了间断区间时态逻辑中的一些基本概念：真值联结、公理、分离原则、证明、定律，这些概念与传统逻辑中相应的概念有较大的差异。
间断区间时态逻辑中的一些基本概念
【摘 要】
：
定义了间断区间时态逻辑中的一些基本概念：真值联结、公理、分离原则、证明、定律，这些概念与传统逻辑中相应的概念有较大的差异。
【机 构】
：
广西师范大学数学与计算机科学系,广西基本建设综合设计院
【出 处】
：
广西师范大学学报：自然科学版
【发表日期】
：
1995年3期
【基金项目】
：
国家863计划资助,国家自然科学基金
其他文献
通过理论分析和计算，提出了ＪＺ２００型搅拌机出料锥口圈成型的新型加工工艺方式，达到了节省材料、提高效率、改进加工性能，提高部件质量的效果，较大幅度降低了部件生产的成本。
21只新西兰大白兔经结扎胆总管制成胆源性肝硬化动物模型,随机分为三组:正常对照组(n=6);肝硬化肠外营养(PN)-LCT组(n=10);肝硬化肠外营养(PN)-MCT/LCT组(n=11)。两组的PN液
采用经典的有限元方法对城市配水网络进行分析,针对求解方程组的形成特点,利用图论及矩阵论知识证明了其系数矩阵的对称正定性,进而给出了求解方程组的LDL~T法,特别是为满足
鉴于地形偏压小净距隧道的特点,研究围岩稳定性的影响因素。以石家庄至冀晋界曹家庄公路曹家庄小净距隧道为研究背景依托,针对地形偏压高速公路小净距隧道制定了一套有效的安
通过黄石市大冶湖生态核心区道路建设一标奥林匹克大道K0＋000-K7＋616的路基施工处理为实例，对填浜路堤施工工艺及技术要点进行研究，为类似的工程施工提供技术参考和管理依据。[方
在班主任工作中，为了了解情况处理问题，沟通师生感情，收到更好的教育效果，要和学生沟通。谈心固然重要，但有的班主任在师生位置摆放和形式采取上不妥当，往往收效甚微。班主任工作的
针灸,这古老而神奇的医术,会让瘫痪者起死回生,会使肥胖者变得苗条……如今,握在扬卓力大夫手中的银针,又创造出新的奇迹:面部消斑除疣、去皱平凹,使皮肤洁白、细嫩、青春常
大连金州区有农村党员1.6万余名,占全区党员总数的近60%,这些党员是农村经济建设的主力军。金州区委组织部在抓好干部档案工作的同时,从1992年初又狠抓了农村党员档案的整理
讨论了几个复函数中值公式中ζ的变化趋势，得到了几个渐近性质。