Semántica Formal
Humanities & Arts Dictionary
Definición
La aplicación de lenguajes formales, estructuras modelo‑teóricas y reglas de composición rigurosas para representar, especificar y evaluar los significados y condiciones de verdad de expresiones lingüísticas o lógicas; suele asumir una asignación de formas sintácticas a valores semánticos dentro de un modelo explícitamente definido y se apoya en principios como la composicionalidad.