RESUMO

   Tradicionalmente, as fórmulas são escritas em uma única linha. S. Curtis e G. Lowe sugeriram uma alternativa visualmente mais atraente para o caso de relações binárias: o uso de grafos para expressar propriedades e raciocínios sobre relações, de uma forma natural. Nós ampliamos esta abordagem para diagramas que são conjuntos de gráficos. As intuições básicas são bastante simples, levando a sistemas lúdicos e poderosos, para derivar inclusões entre diagramas que são conseqüências de conjuntos de inclusões entre diagramas, tomados como hipóteses. Nossos sistemas tratam de informações positivas, negativas e intuicionistas. Nesta palestra vamos sumarizar estes trabalhos, apresentando formulações adequadas desses sistemas como cálculos lógicos e discutir corretude, completude, decidibilidade, e aplicabilidade.

(Trabalho em conjunto com Renata de Freitas, Paulo Veloso, e Sheila Veloso).

MINI-CV

   Petrucio Viana possui graduação em Matemática pela UFF, mestrado em Engenharia de Sistemas e Computação pela UFRJ e doutorado (sanduiche) em Engenharia de Sistemas e Computação pela UFRJ/UvA. Atualmente é Professor Adjunto do Departamento de Análise do IME-UFF e colabora com o grupo de Métodos Formais do Programa de Engenharia de Sistemas e Computação da COPPE/UFRJ. Atua principalmente nos seguintes temas: álgebra relacional, lógica modal, raciocínio com diagramas e aspectos lógicos da teoria dos grafos. É bolsista de Produtividade em Pesquisa do CNPq.