Algebra, Logic and Topology

 

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

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Introdução ao Cálculo de Dedução Natural - análise dos conectivos

Abstract
O Cálculo de Dedução Natural, introduzido por Gerhard Gentzen em 1935 pretendendo aproximar-se o mais possível do modo de raciocínio humano, é ainda hoje um dos sistemas formais dedutivos mais conhecidos e estudados. Neste seminário propomo-nos introduzir, de modo sucinto, o Cálculo de Dedução Natural e apresentar trabalho recente nesta área realizado em conjunto com Fernando Ferreira. Mais especificamente, e na sequência de ser notório o facto de alguns conectivos (\bot, \vee, \exists) estarem associados a regras de eliminação de mais difícil tratamento, mostraremos uma forma de evitar esses "maus" conectivos quando lidamos com o cálculo intuicionista de predicados. Como consequência, pensamos ter obtido uma explicação bastante natural para um tipo de transformações tradicionalmente introduzidas de modo ad hoc: as "commuting conversions".

Areas of interest
Logic and Computation

Speaker(s)
Gilda Ferreira (CMAF, UL)

Date
October 15, 2007

Time
17h

Room
Sala 2.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