The semantics and proof theory of linear logic
- 1 May 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 57 (2-3) , 161-184
- https://doi.org/10.1016/0304-3975(88)90037-0
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Using typed lambda calculus to implement formal systems on a machineJournal of Automated Reasoning, 1992
- Simple consequence relationsInformation and Computation, 1991
- Linear logicTheoretical Computer Science, 1987
- The undecidability of entailment and relevant implicationThe Journal of Symbolic Logic, 1984
- Relevant entailment—semantics and formal systemsThe Journal of Symbolic Logic, 1984