2016/04/24 by Meghdad Ghari, Ghari, Meghdad
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1604.07021
openalex publication_date 2016/04/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.