Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.