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