game-theoretical semantics
上世纪90年代他在博弈论语义学(game-theoretical semantics) 的基础上提出并建立了IF-阶逻辑(Independence-Friendly first-order logic)，并宣称它是真正基本的一阶逻辑，由此将导致逻辑和数...
基于24个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动