Inférence Profonde

Un cadre proof-théorique dans lequel les règles d'inférence peuvent s'appliquer à n'importe quelle profondeur à l'intérieur des expressions logiques plutôt qu'au seul niveau racine ; l'inférence profonde favorise des systèmes de preuve symétriques, locaux et souvent plus compacts comme le Calculus of Structures.