The Tableau Algorithm for Intuitionistic Propositional Calculus as a Constructive Completeness Proof
by Judith Underwood
Proceedings of the Workshop on Theorem Proving with Analytic Tableaux, pp. 245-248, 1993.
Sorry, there are no downloadable files available for this document at this time.