Semántica Prueba-Teórica
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un enfoque que asigna significado a conectivos y fórmulas lógicas por sus roles en la inferencia — reglas de introducción y eliminación — en lugar de por condiciones de verdad modelo-teóricas.