2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Artigo2014
LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE
Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, most…
Dissertação1993
O CALCULO DE PREDICADOS DE PRIMEIRA ORDEM MONADICO
O CALCULO DE PREDICADOS DE PRIMEIRA ORDEM MONADICO APRESENTA-SE COMO UMA ESTRUTURA PADRAO PARA OS ESTUDOS DE VARIOS SISTEMAS (S5MODAL). APOS UMA APRESENTACAO HISTORICA APRESENTAMOS A SINTAXE DESTE CALCULO, COM OS PRINCIPAIS TEOREMAS E METATEOREMAS,…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.