Jean-Baptiste Joinet

Bibliography

Danos, Vincent, Joinet, Jean-Baptiste and Schellinx, Harold. 1997. “A New Deconstructive Logic: Linear Logic.” The Journal of Symbolic Logic 62(3): 755–807.
Joinet, Jean-Baptiste. 2004. “Proofs, Reasoning and the Metamorphosis of Logic.” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 51–62. Trends in Logic n. 39–54. Dordrecht: Springer.
Joinet, Jean-Baptiste. 2016. “Nature et logique de G. Gentzen à J.-Y. Girard.” Logique et Analyse 59(234): 157–171.