机译:依赖与独立逻辑的否定与部分公理逻辑重新审查
Delft Univ Technol Dept Values Technol &
Innovat Jaffalaan 5 NL-2628 BX Delft Netherlands;
Dependence logic; Team semantics; Negation; Existential second-order logic;
机译:依赖与独立逻辑的否定与部分公理逻辑重新审查
机译:在独立逻辑中公理一阶结果
机译:具有广义量词的依存逻辑:公理化
机译:再论依赖和独立逻辑的否定和部分公理化
机译:重新审稿:抵押贷款的空间依赖性和邻里效应
机译:与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
机译:依赖和独立的否定和部分公理化 逻辑重新审视
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义