arXiv Analytics

Sign in

arXiv:1604.07021 [math.LO]AbstractReferencesReviewsResources

Tableaux for First Order Logic of Proofs

Meghdad Ghari

Published 2016-04-24Version 1

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.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1511.05221 [math.LO] (Published 2015-11-16)
Weak Godel's incompleteness property for some decidable versions of first order logic
arXiv:1605.03501 [math.LO] (Published 2016-05-11)
Is Leibnizian calculus embeddable in first order logic?
arXiv:2108.03846 [math.LO] (Published 2021-08-09)
On failure of 0-1 laws

Links

Toolbox