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