Book | Chapter
Some remarks on linear logic
pp. 280-300
Abstract
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.
Publication details
Published in:
Boldini Pascal, Bourdeau Michel, Heinzmann Gerhard (2008) One hundred years of intuitionism (1907–2007): the Cerisy conference. Dordrecht, Springer.
Pages: 280-300
DOI: 10.1007/978-3-7643-8653-5_17
Full citation:
Okada Mitsuhiro (2008) „Some remarks on linear logic“, In: P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, 280–300.