Some remarks on linear logic

Mitsuhiro Okada

pp. 280-300

in: Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann (eds), One hundred years of intuitionism (1907–2007), Berlin, Springer, 2008

Abstrakt

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.