Más específicamente «un sistema lógico se define como una estructura compuesta por un lenguaje formal junto con una relación binaria de consecuencia semántica (o implicación lógica) o una relación binaria de consecuencia sintáctica ├ (derivabilidad), o ambas.