Se presenta el siguiente trabajo de grado, dentro del marco del proyecto curricular de Licenciatura en Matemáticas; su objetivo principal subyace en la construcción de tres modelos de lógica no estática usando como herramienta ...