| 命题作为博弈的求真表示 |
| |
| 引用本文： | 许道云. 命题作为博弈的求真表示[J]. 贵州大学学报(自然科学版), 2013, 30(1): 47-54 |
| |
| 作者姓名： | 许道云 |
| |
| 作者单位： | 贵州大学计算机科学与信息学院,贵州贵阳,550025 |
| |
| 基金项目： | 国家自然科学基金(61262006) |
| |
| 摘 要： | 在Giorgi Japaridze引入的可计算性逻辑中,提出了将命题作为博弈,命题的真值由博弈结果得到的基本思想.本文通过引入环境状态概念,给出了命题求真过程的形式化表示方法.基于这样的处理,利用从命题逻辑到模态命题逻辑的研究方法,我们可以研究模态可计算性逻辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑.
|
| 关 键 词： | 命题 博弈 交互计算 命题求真 表示 |
Representations of Computing Truths of Propositions as Games |
| |
| XU Dao-yun. Representations of Computing Truths of Propositions as Games[J]. Journal of Guizhou University(Natural Science), 2013, 30(1): 47-54 |
| |
| Authors: | XU Dao-yun |
| |
| Affiliation: | XU Dao-yun*(College of Computer Science and Information,Guizhou University,Guiyang 550025,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
