Keyword:Intuitionistic

Papers
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction Chad Brown and Christine Rizkallah In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving