Some remarks on linear logic
Mitsuhiro Okada · Birkhäuser Basel eBooks · 2008
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. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.