Paraconsistent logic; Many-valued logic; Formalization; Isabelle proof assistant; Inconsistency; Paraconsistency;
机译:超一致逻辑的元理论的新形式化结果
机译:披肩薄弱Kleene逻辑的证明理论
机译:尼尔森超一致性逻辑的证明理论:统一的观点
机译:在伊莎贝尔校正助理中正式化滞后逻辑
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:将Isabelle证明助手中的一致性逻辑形式化