The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract).

Oliver Bittel

Browse the full TABLEAUX paper archive.