机译:披肩薄弱Kleene逻辑的证明理论
Univ Cagliari Dept Pedag Psychol Philosophy Cagliari Italy;
Univ Cagliari Dept Pedag Psychol Philosophy Cagliari Italy;
3-Valued logics; Paraconsistent Weak Kleene Logic; Logics of variable inclusion; Sequent calculi; Tableaux calculi;
机译:披肩薄弱Kleene逻辑的证明理论
机译:尼尔森超一致性逻辑的证明理论:统一的观点
机译:剥夺危险弱逻辑的证明理论
机译:Kleene代数的证明理论
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:一阶弱克莱恩逻辑的结构证明理论