Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
cut elimination
Papers
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally
Vasil Penchev
EasyChair Preprint no. 8545
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-2023 easychair.org. All rights reserved.