Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Unidade e diversidade na teoria estrutural da demonstração

Abstract
A dedução natural e o cálculo de sequentes são dois dos principais sistemas de dedução formal usados e estudados em teoria estrutural da demonstração. A dedução natural manipula fórmulas, procura modelar o raciocínio informal usado, por exemplo, nas demonstrações matemáticas, e tem relações priveligiadas com o lambda-calculus e, por via deste, com a programação funcional. O cálculo de sequentes manipula instâncias formais da relação de consequência lógica, procura modelar uma dualidade entre hipótese e conclusão, e é especialmente adequado para a busca semi-automática de demonstrações, tendo, por isso, relações priveligiadas com a programação em lógica. A investigação das últimas décadas mostrou que estas e outras diferenças são mais aparentes do que reais. Neste seminário vamos ilustrar alguns resultados recentes e, de algum modo radicais, neste processo de "unificação". Estes resultados obtêm-se a partir do momento em que se compreende a relação do cálculo de sequentes com o lambda-calculus, e desde que se esteja preparado para aceitar um alargamento do conceito de dedução natural.

Areas of interest
Logic and Computation

Speaker(s)
José Carlos Espírito Santo (Dep. Matemática, Univ. Minho)

Date
November 27, 2007

Time
16:00

Room
Sala 5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia