Linear logic
Jean-Yves Girard
Theoretical Computer Science 50(1), pp. 1-102
1987
Jean-Yves Girard
Theoretical Computer Science 50(1), pp. 1-102
1987
The familiar connective of negation is broken into two operations: linear negation, which is the purely negative part of negation, and the modality “of course”, which as the meaning of a reaffirmation. |