Realizabilidad

Una semántica que interpreta fórmulas lógicas mediante conjuntos de testigos constructivos u objetos computacionales (realizadores) que demuestran cómo una fórmula puede ser mostrada o calculada, conectando la sintaxis de las pruebas con contenido ejecutable.