| 多值逻辑与语义赋值博弈 |
| |
| 引用本文： | 陈招万,郭佳宏.多值逻辑与语义赋值博弈[J].中山大学学报论丛,2008,1(1). |
| |
| 作者姓名： | 陈招万 郭佳宏 |
| |
| 基金项目： | 教育部人文社科基金青年项目
，
广东省哲学社会科学项目
，
北京师范大学青年教师社科研究基金
|
| |
| 摘 要： | 文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念--赋值.证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化.
|
| 关 键 词： | 多值逻辑 扩展博弈 语义赋值博弈 博弈语义 |
Many-valued Logic and Semantic Evaluation Games |
| |
| Zhaowan Chen,Jiahong Guo.Many-valued Logic and Semantic Evaluation Games[J].Supplement to the Journal of Sun Yatsen University,2008,1(1). |
| |
| Authors: | Zhaowan Chen Jiahong Guo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
