HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:cut elimination

Publications
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally
Vasil Penchev
EasyChair Preprint 8545
Confluence for Proof-Nets via Parallel Cut Elimination
Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Bunched Hypersequent Calculi for Distributive Substructural Logics
Agata Ciabattoni and Revantha Ramanayake
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Computational Coverage of TLG: Nonlinearity
Glyn Morrill and Oriol Valentín
In:NLCS'15. Third Workshop on Natural Language and Computer Science
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.