Sémantique Preuve-Théorique

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une approche qui attribue du sens aux connecteurs logiques et aux formules par leurs rôles dans l'inférence — règles d'introduction et d'élimination — plutôt que par des conditions de vérité modèle-théoriques.