Part of the Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives book series (PAHP)
Some remarks on linear logic
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.
KeywordsInference Rule Classical Logic White Wine Intuitionistic Logic Linear Logic
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.
Unable to display preview. Download preview PDF.
© Birkhäuser Verlag AG 2008