机译:证明逻辑的分析方法
Department of Computer Science (IME/USP), University of Sao Paulo, Sao Paulo, Brazil;
logic of proofs; tableaux; KE tableaux;
机译:线性逻辑和证明网构建中的连接方法
机译:研究环境中分析方法的半定量评估的可持续性代码/负荷指数:概念验证
机译:Hillert分析法和正交投影法等价性的证明
机译:可能性逻辑的另一种证明方法及其在术语逻辑中的应用
机译:证明方法:数学课程证明的新案例。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:证明逻辑的分析方法