HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:sequent calculus

Publications
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs
Shujun Zhang and Naoki Nishida
EasyChair Preprint 8672
On Translations of Epsilon Proofs to LK
Matthias Baaz and Anela Lolic
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation
Tudor Jebelean
In:LPAR 2024 Complementary Volume
Towards a Cut-free Sequent Calculus for Boolean BI
Sungwoo Park and Jonghyun Park
In:PSPL 2010. International Workshop on Proof Systems for Program Logics
Copyright © 2012-2025 easychair.org. All rights reserved.