Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Bien que la déduction naturelle soit une approche trop syntaxique pour servir de modèle algorithmique du raisonnement humain, cela ne veut pas dire qu'elle ne peut pas contribuer à l'étude de celui-ci. La déduction naturelle et le calcul des séquents, en tant que modes alternatifs de présentation des inférences logiques et de conduite des preuves, permettent de représenter les systèmes logiques, classiques ou non, afin d'en étudier de manière uniforme les propriétés structurales. Les logiques sous-structurales peuvent être vues comme des systèmes motivés par des considérations pragmatiques, permettant de représenter différents types d'expertises relativement à différents contextes de raisonnement. Avec …
