Natural Deduction

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.

Linear Logic

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

5. J.-Y. Girard, Linear Logic 

6. Handbook of Linear Logic

MLL

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

MALL

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

14. Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.  R. Maieli

15. Conflict Nets for MALL: Dominic Hughes and Willem Heijltjes

16. Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, DOMINIC J. D. HUGHES and ROB J. VAN GLABBEEK 

MELL

17. D. Mazza, Attack of the Exponentials

18. Parsing MLL Proof Nets,  Stefano Guerrini and Andrea Masini

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

Semantics

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

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

Altro: Un dimostratore di sequenti della logica lineare interattivo