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