↑ Um sistema lógico é constituído de duas partes: uma gramática e uma teoria. Através da gramática são distinguidas, dentre a coleção de todas as samblagens na linguagem formal adotada, quais são fórmulas. Através da teoria as fórmulas do sistema são avaliadas quanto à sua veracidade absoluta ou relativa. Uma teoria para um sistema lógico pode ser dada de três formas: por uma semântica, por um cálculo, ou por um algoritmo de automatização. Assim como existem diversas linguagens de programação, também existem modernamente várias lógicas ou sistemas lógicos.