IF多值逻辑及博弈语义

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