摘要

我们研究含有未定义或过定义真值公式的命题逻辑中的偏爱性。未定义的值是通过添加四位连接符来创建的W公司将完全模型称为交叉,该模型与常用的布尔连接词一起被证明对所有部分函数都是功能完备的。跨接被认为是从游戏理论的角度出发的,它是从两个玩家之间不完全信息的两阶段扩展形式语义游戏中产生的。这种游戏理论方法产生了一种解释,其中偏好是作为游戏的非确定性属性而产生的。过度定义的值是通过添加一个弱的、矛盾的否定来产生的,或者,通过放松游戏是严格竞争的假设来产生的。一般来说,广泛的不完全信息博弈的特殊形式产生了一种广义命题逻辑,可以研究连接词的各种形式的信息依赖性和独立性。

您当前没有访问此文章的权限。