Repository | Book | Chapter

COPR BookmarkLink
176453

(2008) One hundred years of intuitionism (1907–2007), Dordrecht, Springer.

Some remarks on linear logic

Mitsuhiro Okada

pp. 280-300

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

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

Full citation:

Okada, M. (2008)., Some remarks on linear logic, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 280-300.

This document is unfortunately not available for download at the moment.