直觉主义计算树逻辑中的安全性和活性

来源 :计算机科学与探索 | 被引量 : 1次 | 上传用户:Linda_724
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主义计算树逻辑中安全性和活性在并、交等操作下的封闭性以及与经典计算树逻辑中安全性和活性的关系,并为直觉主义计算树逻辑公式建立了分解定理。
其他文献
[目的]确定双高油菜与双低油菜的最佳隔离距离。[方法]以双高油菜蓉油4号为中心,在其周围200m范围内种植华杂5号,开放授粉,用纸层析法测定芥酸含量,研究不同距离下双高油菜对
师德规范是高校价值系统的重要组成部分,由师生之间的道德规范,教师同行之间的道德规范,教师与社会之间的道德规范等组成。教师的自律与他律的统一是高校师德规范建设的实现途径
患者,女,18岁。因左侧鼻腔流黄色脓涕伴左面颊疼痛半年于2010年3月20日入院。患者半年前始无明显诱因出现左鼻腔流黄色脓涕,并时有左侧面颊隐痛,能耐受,无明显红肿,鼻腔通气
摘 要:随着我国经济的发展,我国造纸工业的发展也比较快速,但造纸工业对环境的污染已经成为公认的事实,尤其是水污染,已经引起了国家与社会的广泛重视。生命周期评价能够对造纸企业产品与工艺进行评价,可以根据评价结果改善造纸工业废水治理工艺,本文对某造纸企业的两条废水处理工艺的生命周期进行了比较,以生命周期评价的对象入手,对生命周期的清单进行分析,并论述生命周期的影响评价与结果解释。  关键词:生命周期;
[目的]评价不同海拔土壤的综合肥力,并揭示土壤养分含量与海拔的关系。[方法]对湖北宣恩烟叶产区不同海拔的植烟土壤主要养分的含量状况进行分析。[结果]该产区的土壤养分总
为了筛选对大花高代具有矮化效应的叶面肥,采用多效唑、比久、通丰、试验1号和试验2号5种叶面肥对不同播期的两组大花高代苗进行喷施,研究不同叶面肥处理对大花高代苗生长状
人工控温养殖中华鳖,改变其冬眠习性,可延长生长期,提高产量,但鳖的商品品质有所下降。人工模拟野生中华鳖生存生长的自然环境和饵料区系.科学合理的高密度养殖,在提高鳖商品品质的
目的探讨鼻腔鼻窦真菌球型的临床特征、诊断要点及治疗方法。方法回顾2006年1月~2009年1月收治15例鼻腔鼻窦真菌球型的临床资料,其中原发上颌窦12例,原发于后组鼻窦3例。结果1
摘 要:城市是社会发展下的产物,城市可以反映一个国家的经济与文化。城市的发展也能加快我国现代化建设的进程。城市在发展中不能仅仅局限于经济的发展也要考虑城市的环境问题,在城市中开展绿化工程有利于保护城市的环境,提高城市的形象。本篇文章主要探讨现代城市中园林绿化工程的重要性。  关键词:现代城市;园林;绿化工程;重要性  对城市开展园林绿化工程建设是现代城市的发展策略,实现城市绿化也是城市的发展目标。
因信息系统的复杂性和不确定性,对象的属性值难以用精确的数值来表达,而是采用区间形式表示。针对这一问题,对区间值进一步模糊化,并引进优势关系,建立了不协调区间值模糊序决策信