Pesquisa
CONSTRUINDO TABLEAUX PARA LÓGICA LINEAR INTUICIONISTA
O OBJETIVO DESTA DISSERTAÇÃO É CONSTRUIR UM TABLEAUX LINEAR INTUICIONISTA A PARTIR DE UM CÁLCULO DE SEQUENTES RELEVANTE CLÁSSICO. OS PASSOS PRINCIPAIS DESSA CONSTRUÇÃO SÃO: I) TRADUÇÃO DAS REGRAS DO CÁLCULO DOS SEQUENTES RELEVANTE CLÁSSICO PARA REGR…
TABLEAUX DEDUTIVOS
O PRESENTE ESTUDO TEM POR OBJETIVO A FORMALIZAÇÃO DE UM CÁLCULO DEDUTIVO PARA A LÓGICA CLÁSSICA BASEADO EM TABLEAUX. SÃO APRESENTADOS OS CÁLCULOS DT, PARA A LÓGICA PROPOSICIONAL, E QDT, PARA A LÓGICA DE PREDICADOS. UMA POSSÍVEL FORMALIZAÇÃO DE UM CÁ…
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…
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.