Accueil du site > Présentation > Abrusci Michele

Abrusci Michele

Professore straordinario di Logica e Supplente di Logica Matematica

Education :

Licence en Philosophie (Université de Florence)

Professeur agrégé à l’Université de Bari de 1988 à 1991

Professeur agrégé à l’Université Sapienza de Rome La 1991 à 1994

Professeur à l’Université de Bari de 1994 à 1996.

publications :

La logique mathématique, Fratelli Laterza, Bari, 1992.

Réseaux de preuve non commutative, dans « Advances in Linear Logic", Cambridge University Press, 1995.

Lambeck calcul, cycliques multiples additifs logique linéaire non commutative et multiples additifs logique linéaire, dans "Les preuves linguistiques et les catégories", Clueb, 1996.

Autres :

Coordinateur du "site Roma Tre dans le TMR Réseau de recherche sur la logique linéaire" en informatique théorique

Voir en ligne : Page Pro

187 Messages de forum

Répondre à cet article

Site propulsé par accatone/resurgences
Tourisme Atlas
projet NetLab, politiques publiques, big data et sciences sociales
spacelike, une exploration visuelle du web de l'art contemporain
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014