2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Tese2017
MATRIZES NÃO-DETERMINÍSTICAS: TEORIA E APLICAÇÕES À SEMÂNTICA ALGÉBRICA
CHAMAMOS DE MULTIOPERAÇÃO QUALQUER OPERAÇÃO QUE RETORNA, PARA CADA ARGUMENTO, UM CONJUNTO DE VALORES AO INVÉS DE UM ÚNICO VALOR. ATRAVÉS DAS MULTIOPERAÇÕES PODEMOS DEFINIR UMA ESTRUTURA ALGÉBRICA MUNIDA COM PELO MENOS UMA MULTIOPERAÇÃO. ESTA ESTRUTU…
Dissertação2008
Semântica algébrica para as lógicas modais e seu interesse filosófico
No s´eculo XX tivemos um consider´avel avan¸co sobre o entendimento formal.do significado das modalidades. Os trabalhos de J´onsson, McKinsey.e Tarski na d´ecada de quarenta permitiram a constru¸c˜ao dos resultados de.completude alg´ebrica para os s…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.