Tableaux for First Order Logic of Proofs
Logic
2016-04-26 v1
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.
Cite
@article{arxiv.1604.07021,
title = {Tableaux for First Order Logic of Proofs},
author = {Meghdad Ghari},
journal= {arXiv preprint arXiv:1604.07021},
year = {2016}
}