Inferencia Profunda

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un marco proof-teórico en el que las reglas de inferencia pueden aplicarse a cualquier profundidad dentro de expresiones lógicas en lugar de solo en la raíz; la inferencia profunda admite sistemas de prueba simétricos, locales y frecuentemente más compactos como el Calculus of Structures.