HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:proof theory

Papers
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
Copyright © 2012-2023 easychair.org. All rights reserved.