A predicate calculus with control of derivations
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 254-266
- https://doi.org/10.1007/3-540-52753-2_44
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Linear logic and lazy computationPublished by Springer Nature ,2005
- The semantics and proof theory of linear logicTheoretical Computer Science, 1988
- The number of proof lines and the size of proofs in first order logicArchive for Mathematical Logic, 1988
- Linear logicTheoretical Computer Science, 1987
- A decidable fragment of predicate calculusTheoretical Computer Science, 1984