Keyword:proof theory

Papers
First-order answer set programming as constructive proof search Aleksy Schubert and Pawel Urzyczyn EasyChair Preprint no. 207
Deep Proof Search in MELL Ozan Kahramanogullari In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract) Zakaria Chihani, Dale Miller and Fabien Renaud In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
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
Proof rules for the dialogical logic N Jesse Alama and Sara L. Uckelman In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
The Frame Problem and the Semantics of Classical Proofs Graham White In:Turing-100. The Alan Turing Centenary