Some remarks on linear logic
pp. 280-300
in: Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann (eds), One hundred years of intuitionism (1907–2007), Berlin, Springer, 2008Abstract
Linear logic and its variants, often called substructural logics, have shed light on various new aspects of traditional logic. In this note we shall discuss some of them.