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…
Tese2013
DEMONSTRAÇÕES NA ALGIBEIRA: POLINÔMIOS COMO UM MÉTODO UNIVERSAL DE PROVA
O PRESENTE TRABALHO TEM POR OBJETIVO EXPLORAR, EM DIVERSAS VERTENTES, O CARÁTER UNIVERSAL DE UMA FERRAMENTA PODEROSA DE PROVA, APTA A SER UTILIZADA EM LÓGICAS CLÁSSICAS E NÃO CLÁSSICAS, EM PARTICULAR EM LÓGICAS MULTIVALORADAS PROPOSICIONAIS (DETERMI…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.