En Tête Permanent

Espace de Jean-Baptiste Joinet

Professeur de logique

Faculté de philosophie

Université Jean Moulin - Lyon 3 


Accueil      Recherche      Enseignement      Coordonnées

Recherche

PUBLICATIONS  (liens vers les articles)


     (version imprimable de cette liste  - format pdf)
  1. J.-B. Joinet
    "Une preuve combinatoire de forte normalisation des réseaux de preuves pour la Logique Linéaire"
    Prépublications de l'Equipe de Logique (URA 753 du CNRS), 35, Université Paris 7
    Novembre 1991
  2. J-B. Joinet
    "Etude de la normalisation du calcul des séquents classique à travers la logique linéaire",
    Thèse de Doctorat, spécialité "Logique", soutenue le 25 janvier 1993 à l'université Paris 7
    1993
  3. V. Danos, J-B. Joinet, H. Schellinx
    "The structure of exponentials: uncovering the dynamics of linear logic derivations"
    in Computational Logic and Proof Theory,
    (Proceedings of the third Kurt Goedel colloquium, august 1993, Brno, Czech Republic),
    G. Gottlob, A. Leitch, D. Mundici (editors),
    Lecture Notes in Computer Science 713, p. 159-171,
    Springer Verlag, Berlin-Heidelberg, Germany
    1993
  4. V. Danos, J.-B. Joinet, H. Schellinx
    "On the linear decoration of intuitionistic derivations",
    Archive for Mathematical Logic, 33, p. 387-412.
    1995
  5. V. Danos, J.-B. Joinet, H. Schellinx
    "LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication",
    in Advances in Linear Logic
    (Proceedings of the Workshop on Linear Logic, Ithaca, New York, june 1993)
    J.-Y. Girard, Y. Lafont, L. Regnier (editors),
    London Mathematical Society Lecture Notes, 222, p. 211-224. Cambridge University Press
    1995.
  6. J.-B. Joinet, H. Schellinx, L. Tortora di Falco,
    "Strong normalization for all-style LK tq",
    in Theorem Proving with Analytic Tableaux and Related Methods
    (Proceedings of the 5th eponym Workshop, held in Terrasini, Palermo Italy),
    Migliolo et al. (editors), Lecture Notes in Artificial Intelligence 1071, p. 226-243, Springer-Verlag
    1996.
  7. V. Danos, J.-B. Joinet, H. Schellinx
    "A new deconstructive logic: Linear Logic"
    Journal of Symbolic Logic, 62 (3), p. 755-807,
    1997
  8. J.-B. Joinet
    Entrée "Logique",
    in Encyclopédie de la Philosophie,
    La Pochothèque, Le Livre de Poche, p. 966-976
    2002
    Non disponible en version électronique.
  9. J.-B. Joinet, H. Schellinx, L. Tortora de Falco,
    "Strong normalization and Church-Rosser property for free-style LKtq: linear decorations and simulation of normalization",
    Journal of Symbolic Logic, 67 (1), p. 162-196.
    2002
  10. J.-B. Joinet
    "Proofs, Reasonning and the Metamorphosis of Logic"
    accepté pour publication dans un volume Advances in Natural deduction,
    (proc. of the 2001 ``Natural Deduction" conference, PUC, Rio de Janeiro, Brasil)
    L.-C. Pereira, E. Hermann Hauesler and V. de Paiva (eds.),
    soumis en 2003, accepté pour publication, à paraître chez Springer (12 pages environ).
  11. V. Danos, J.-B. Joinet, H. Schellinx
    "Computational isomorphisms in classical logic"
    Theoretical Computer Science, Vol. 294, issue 3, p. 353-378
    2003
  12. V. Danos, J.-B. Joinet
    "Linear Logic and Elementary time",
    Information & Computation, 183, p.123-137, Elsevier Academic Press
    2003
  13. J.-B. Joinet
    "Sur le temps logique",
    in Logique, dynamique et cognition (sous la dir. de J.-B. Joinet), collection Logique, langage, sciences, philosophie, Publications de la Sorbonne, Paris, p. 31-49
    2007
  14. J.-B. Joinet
    "Programme de l'interactionisme logique",
    préface de Logique, dynamique et cognition (sous la dir. de J.-B. Joinet), collection Logique, langage, sciences, philosophie, Publications de la Sorbonne, Paris, p. 7-10
    2007.
  15. J.-B. Joinet "Completeness of MLL proof-nets w.r.t. weak distributivity"
    Journal of Symbolic Logic, 72 (1), p. 159-170
    2007
  16. J.-B. Joinet
    "Ouvrir la logique au monde" (Attention: la pagination du document en ligne n'est pas conforme à celle de la version publiée).
    in Philosophie et mathématique de l'interaction - Ouvrir la logique au monde (sous la dir. de J.-B. Joinet et S. Tronçon)
    Éditions Hermann, p. 5-63
    2009
  17. J.-B. Joinet
    "Logique et métaphysique" , in O que é a metafísica ? Sous la dir. de Jaimir Conte et Oscar Frederico Bauchwitz (ISBN 978-85-7273-730-2), p.157-168, Editora da Universidade Federal do Rio Grande do Norte, Natal (Brésil),
    2011
  18. J.-B. Joinet
    "Nature et Logique: de G. Gentzen à J.-Y. Girard"
    Logique et Analyse, vol 59, n$^\circ$234
    2016
  19. (Version imprimable de cette liste  - format pdf)

Accueil      Recherche      Enseignement      Coordonnées