[L5] _________________________ AMAST Links 02 08

Semantical investigations of linear logic

by A. Ursini

This paper is available in hard copy from the author or via WWW . (the paper may be difficult to print, but previews fine with xdvi).

It deals with the phase-like, Kripke and algebraic semantics of commutative, cyclic, non-commutative, classical or intuitionistic linear logics.

Author's address:

Aldo Ursini,
Universita' di Siena
Dipartimento di Matematica
Via del Capitano 15
53100 Siena - Italy
ph: operator: 577-263111 ; direct: 577-263754
fax: 577-263730
email: ursini@unisi.it