Complexidade de Provas em Sistemas Dedutivos Rotulados
[ Próxima Página ]
Resumo
Com o recente acréscimo do interesse no uso das chamadas
lógicas sub-estruturais (relevante, entailment,
linear, etc.) em formalizações e representações
de certos aspectos do raciocínio prático, observou-se
a necessidade de se ter à disposição uma teoria
matemática de análise da complexidade de procedimentos de
decisão que seja mais geral do que a teoria tradicional que tem servido
tão bem às chamadas lógicas não-conscientes
do aspecto recurso (i.e. clássica, intuicionística,
modal). Nesse sentido, iniciativas de alto conteúdo
científico têm aparecido em contextos relativamente
específicos. Por exemplo, Urquhart [Urquhart84,Urquhart89] estudou a
complexidade das lógicas do tipo relevante, e Lincoln tem estudado a
complexidade de fragmentos da lógica linear de Girard
[Girard87:tcs] (cf. [Lincolnetal90], [Lincolnetal92:apal], [LincolnScedrov92]).
O objetivo do projeto é essencialmente estudar uma
formulação do que seria uma teoria matemática de
análise da complexidade dos procedimentos de decisão em
lógicas de inferência controlada formalizadas
através do ambiente de Sistemas Dedutivos Rotulados
(Labelled Deductive Systems)
[Gabbay96:lds,deQueirozGabbay92:azores].
Contexto
Trabalhos Relacionados
Lógica e Computação
Complexidade de Provas em Sistemas Dedutivos Rotulados
Bibliografia
Última atualização 7 Maio 1997
Visita número 
desde 7/Maio/1997.