Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
cut elimination
Papers
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-2021 easychair.org. All rights reserved.