加载中…
2016-04-24
Tableaux for First Order Logic of Proofs
Meghdad Ghari
文献摘要
In this paper we present a tableau proof system for first order logic of proofs FOLP. We show that the tableau system is sound and complete with respect to Mkrtychev models of FOLP.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本