1. Esercizi deduzione naturale

2. D. Prawitz, Ideas and results in proof-theory, in: Proc. 2nd Scandinavian logic symposium , North-Holland (1971) 237–309.

3. Carlo Cellucci, Teoria della dimostrazione, Bollati Boringhieri, 1978.

4. J.-Y. Girard, Proofs and Types

5. J.-Y. Girard, Linear Logic 

6. Handbook of Linear Logic

7. V. Danos and L. Regnier, The structure of Multiplicatives

8. V. Danos, Une Application de la Logique Linéaire a l’Etude des Processus de Normalisation (principalement du $\lambda$-calcul)

9. O. Laurent, Sequentialization of Multiplicative Proof Nets

10. O. Laurent, Thèorie de la dèmonstration

11. S. Guerrini. A linear algorithm for MLL proof net correctness and sequentialization

12. J.-M. Andreoli and R. Maieli, Focusing and proof nets in linear and non-commutative logic

13. R. Maieli, Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic

14. D. Mazza, Attack of the Exponentials

15. C. Retoré, On the relation between coherence semantics and multiplicative proof nets.

16. Michele Pagani ”Proofs, Denotational Semantics and Observational Equivalences in Multiplicative Linear Logic”

17. Note sulla semantica denotazionale delle strutture di prova a cura di Lorenzo Tortora de Falco.

Altro: Un dimostratore di sequenti della logica lineare interattivo