Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Communication
Un système de logique est composé, dans son ensemble, d'une grammaire, de règles de calcul et d'une méthode de démonstration. Le calcul logique, dans le formalisme des séquents, est consistant lorsque les coupures peuvent y être éliminées (Gentzen 1934-1935). Ce critère de l'élimination des coupures participe d'un critère plus général, qui conditionne également la structure de la grammaire et de la méthode de démonstration. Le critère de cohérence général des systèmes de logique est explicité par la théorie des catégories, dans laquelle l'élimination des coupures correspond en particulier à l'élimination de la composition (Lambek & Scott 1986, Došen 1999). La …
