Some remarks on linear logic

Okada Mitsuhiro

Buch | Kapitel

Some remarks on linear logic

Mitsuhiro Okada

pp. 280-300

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.

Publication details

Published in:

Boldini Pascal, Bourdeau Michel, Heinzmann Gerhard (2008) One hundred years of intuitionism (1907–2007): the Cerisy conference. Dordrecht, Springer.

Seiten: 280-300

DOI: 10.1007/978-3-7643-8653-5_17

Referenz:

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.