|
图书馆
|
你的个人资料 |
|
哲学与文化
正确的文章链接:
Tolstukhin A.
时间逻辑的镶嵌方法
// 哲学与文化.
2018. № 6.
С. 17-28.
DOI: 10.7256/2454-0757.2018.6.26428 URL: https://cn.nbpublish.com/library_read_article.php?id=26428
时间逻辑的镶嵌方法
DOI: 10.7256/2454-0757.2018.6.26428评审日期 22-05-2018出版日期 29-05-2018注解: 研究的主题是具有线性时间流的逻辑。 目前，这些系统不仅从哲学的角度来看是令人感兴趣的，而且在计算机科学领域也有实际应用。 对于这两个知识领域，在系统中证明公式的问题，即解决程序的存在，是重要的。 自二十一世纪初以来，解决时间逻辑可解性问题的方法之一是公式的逐步模型构建过程，该过程是根据马赛克原理进行的，大型模型的小片段充当可能无限模型的"构建元素"。 本文对这一问题的最新研究及其系统化进行了详细的分析和分析。 作者的一个特殊贡献可以被认为是这样一个事实，即迄今为止没有用俄语进行过这种分析。 本文不仅提出了镶嵌方法的思想，而且还演示了证明这种方法有效性的关键引理。 下一阶段可以考虑构建一个微积分，该微积分将基于马赛克的想法，其一致性和完整性的证明。 出版日期: 镶嵌方法, 时间逻辑, 模态逻辑, 马赛克, 时间结构的缺陷, 时间流, 线性度, 许可程序, 可行性, 一套丰富的马赛克 |
© 1998 – 2024 Nota Bene. Publishing Technologies. NB-Media Ltd.
Cn
