IF多值逻辑及博弈语义

摘要：

本文基于经典一阶逻辑句法的逻辑优先性分析,把Hintikka的独立联结词和独立量词扩展到多值逻辑中.我们给出IF多值逻辑的句法,并使用不完全信息的语义赋值博弈解释了IF多值逻辑.

关键词：逻辑优先、IF多值逻辑、不完全信息、扩展博弈

所属期刊栏目：2

分类号：B81(逻辑学(论理学))

资助基金：教育部重点研究基地重大项目"博弈逻辑研究"08JJD720034;广东省社科项目"多值逻辑与博弈"07C07

在线出版日期：2009-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：65-74