Pesquisa
DA INTERPRETAÇÃO BHK À TEORIA INTUICIONISTA DOS TIPOS: A CONSTRUÇÃO MENTAL COMO CONCEITO PRIMITIVO FUNDAMENTAL
EM MEIO A UMA DISPUTA DE FUNDAMENTOS FILOSÓFICOS QUE DURA MAIS DE UMA CENTENA DE ANOS, A FUNDAMENTAÇÃO INTUICIONISTA DA MATEMÁTICA PARECE CADA VEZ MAIS PRÓXIMA DE SER UMA ALTERNATIVA À FUNDAMENTAÇÃO CLÁSSICA. INTERPRETAÇÃO DE NOÇÕES FUNDAMENTAIS E P…
DEDUÇÃO NATURAL ROTULADA PARA LÓGICAS MODAIS E MULTIMODAIS
A DEDUÇÃO NATURAL ROTULADA CONSISTE EM UM MÉTODO DE PROVA DESENVOLVIDO POR DOV M. GABBAY, O QUAL SE DISTINGUE DE OUTROS MÉTODOS DE DEDUÇÃO NATURAL PELA UTILIZAÇÃO DE RÓTULOS. ESTES CONSISTEM EM MARCAÇÕES METALINGUÍSTICAS UTILIZADAS NAS DEMONSTRAÇÕES…
A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX
(Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a Lógica TK, que foi apresentada inicialmente no estilo hilbertiano. O objetivo deste trabalho é apresentar a Lógica TK em sistemas de dedução natural, cálculo de sequentes e tab…
SISTEMAS DE LÓGICA MODAL EM DEDUÇÃO NATURAL
A formalização de sistemas de lógica em dedução natural traz muitas.vantagens meta-teoréticas, das quais é sempre destacada a prova de normalização. Os.sistemas de lógica modal até bem recentemente não eram costumeiramente tratados.pelo viés da dedu…
Uma Investigação acerca das Regras para a Negação e o Absurdo em Dedução Natural
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.