Na
lógica, uma
estrutura (ou estrutura de interpretação) é um objeto que dá
significado semântico ou
interpretação aos símbolos definidos pela assinatura de uma linguagem. Uma estrutura possui diferentes configurações, seja em lógicas de primeira ordem, seja em linguagens lógicas poli-sortidas ou de ordem superior.