estrutura de interpretação
Sign in to saveAlso known as finitary structure
set together with an interpretation of a given first-order language
Article · Português
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.
Abstract from DBpedia / Wikipedia · CC BY-SA