HI,欢迎来到学术之家股权代码  102064
0

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

作者:鲍秋霜 张晋津直觉主义计算树逻辑安全性活性分解定理

摘要:将PatrickMaier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主义计算树逻辑中安全性和活性在并、交等操作下的封闭性以及与经典计算树逻辑中安全性和活性的关系,并为直觉主义计算树逻辑公式建立了分解定理。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

计算机科学与探索

《计算机科学与探索》(CN:11-5602/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。

杂志详情