Réalizabilité

Une sémantique qui interprète les formules logiques par des ensembles de témoins constructifs ou d'objets computationnels (réalisateurs) qui montrent comment la formule peut être exhibée ou calculée, reliant la syntaxe des preuves au contenu exécutable.