Keyword:proof theory

Publications
Parametric Chu Translation Siva Somayyajula EasyChair Preprint 8624
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint 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 6202
First-order answer set programming as constructive proof search Aleksy Schubert and Pawel Urzyczyn EasyChair Preprint 207
A Simple Token Game and its Logic Christian Fermüller, Robert Freiman and Timo Lang In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic Alexander Victor Gheorghiu In:LPAR 2024 Complementary Volume
Embedding Intuitionistic into Classical Logic Alexander Pluska and Florian Zuleger In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Deep Proof Search in MELL Ozan Kahramanogullari In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction Chad E. Brown and Christine Rizkallah In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
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
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