Una cuestión fundamental en lógica es estudiar las relaciones que se establecen en los cálculos entre las estructuras sintácticas y sus interpretaciones semánticas que se establecen en los cálculos.