贵州大学学报(自然科学版)
貴州大學學報(自然科學版)
귀주대학학보(자연과학판)
JOURNAL OF GUIZHOU UNIVERSITY(NATURAL SCIENCE)
2013年
1期
47-54
,共8页
命题%博弈%交互计算%命题求真%表示
命題%博弈%交互計算%命題求真%錶示
명제%박혁%교호계산%명제구진%표시
在Giorgi Japaridze引入的可计算性逻辑中,提出了将命题作为博弈,命题的真值由博弈结果得到的基本思想.本文通过引入环境状态概念,给出了命题求真过程的形式化表示方法.基于这样的处理,利用从命题逻辑到模态命题逻辑的研究方法,我们可以研究模态可计算性逻辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑.
在Giorgi Japaridze引入的可計算性邏輯中,提齣瞭將命題作為博弈,命題的真值由博弈結果得到的基本思想.本文通過引入環境狀態概唸,給齣瞭命題求真過程的形式化錶示方法.基于這樣的處理,利用從命題邏輯到模態命題邏輯的研究方法,我們可以研究模態可計算性邏輯、線性時序可計算性邏輯、以及行為時序可計算性邏輯.
재Giorgi Japaridze인입적가계산성라집중,제출료장명제작위박혁,명제적진치유박혁결과득도적기본사상.본문통과인입배경상태개념,급출료명제구진과정적형식화표시방법.기우저양적처리,이용종명제라집도모태명제라집적연구방법,아문가이연구모태가계산성라집、선성시서가계산성라집、이급행위시서가계산성라집.