Keyword:proof theory

Papers
Embedding Intuitionistic into Classical Logic Alexander Pluska and Florian Zuleger In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Parametric Chu Translation Siva Somayyajula EasyChair Preprint no. 8624
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint no. 7080
Study of Phylogenetic for Computational Analysis of Sleep Apnea Syndrome for Patient (Healthcare & Treatment) Using Machine Learning (Robot Vision) Romil Rawat, Vinod Mahor and Shrikant Telang EasyChair Preprint no. 6202
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