Cut elimination for the unified logic
- 28 June 1993
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 62 (1) , 1-16
- https://doi.org/10.1016/0168-0072(93)90184-f
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Generating plans in linear logic: I. actions as proofsTheoretical Computer Science, 1993
- On the unity of logicAnnals of Pure and Applied Logic, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Bounded linear logic: a modular approach to polynomial-time computabilityTheoretical Computer Science, 1992
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- Linear logicTheoretical Computer Science, 1987