...
机译:Genten-Type Sequent Calculi,具有古典否定的扩展Belnap-Dunn逻辑:一般框架
Department of Information and Electronic Engineering Teikyo University Toyosatodai 1-1 Utsunomiya Tochigi 320-8551 Japan;
Gentzen-type sequent calculus; Belnap–Dunn logic; De and Omori's axiom; Cut-elimination theorem; Embedding theorem; Completeness theorem;
机译:Genten-Type Sequent Calculi,具有古典否定的扩展Belnap-Dunn逻辑:一般框架
机译:古典否定扩展Belnap-Dunn逻辑的模态和直觉变种
机译:Belnap-Dunn逻辑的经典否定与扩展
机译:具有经典求反的扩展一阶Belnap-Dunn逻辑
机译:使用意图框架模型:经典UTAUT模型的模糊逻辑解释。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:Belnap-Dunn Logic的古典否定与扩展
机译:正态模态命题逻辑的后续计算