Tableaux for First Order Logic of Proofs
From MaRDI portal
Abstract: 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.
This page was built for publication: Tableaux for First Order Logic of Proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6272850)
