A decision procedure revisited: notes on direct logic, linear logic and its implementation
- 23 March 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 95 (1) , 115-142
- https://doi.org/10.1016/0304-3975(92)90069-r
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The structure of multiplicativesArchive for Mathematical Logic, 1989
- The semantics and proof theory of linear logicTheoretical Computer Science, 1988
- Linear logicTheoretical Computer Science, 1987
- A decidable fragment of predicate calculusTheoretical Computer Science, 1984