Abstract FR:

Cette these developpe, au moyen de methodes algebriques, des interactions inattendues entre theorie des modeles et theorie de la demonstration. D'une part, on etudie une notion generale de categorie algebriquement structuree qui recouvre toutes ls logiques non classiques connues; et on applique ceci entre autres au polymorphisme des types. D'autre part, on explore par des calculs au niveau des theories (ou esquisses) diverses proprietes des categories de categories de modeles, obtenant ainsi des domaines qui generalisent ceux de la semantique denotationnelle a la scott