机译:通过皮带逻辑将明确的否定与失败相结合
机译:通过皮带逻辑将明确的否定与失败相结合
机译:Genten-Type Sequent Calculi,具有古典否定的扩展Belnap-Dunn逻辑:一般框架
机译:Belnap-Dunn逻辑的经典否定与扩展
机译:具有经典求反的扩展一阶Belnap-Dunn逻辑
机译:近似否定符在为推文中的否定自动检测建模方面的作用
机译:没有项目与我希望有一个项目:隐式否定会导致错误的回忆以及显式否定
机译:通过Belnap的逻辑将显式否定与失败否定相结合
机译:逻辑规划与否定:一项调查