on 06-05-2011
Jean-Yves Béziau (UFRJ - Brazil).
May 6, 2011, Friday, 16h15m.
Abstract: Classical negation can be decomposed in various rules of pure negation (rules dealing with negation as the only connective). In this talk we will study the combination of these rules between each other and with pure rules for other connectives. In this setting we will examine in particular the combination of negation with disjunction to understand how the law of excluded middle paradoxically appears, contradicting the standard conservative idea of combination of logics.
Room: 3.10, Mathematics
Support: SQIG/IT with support from FCT and FEDER, namely via the following projects:
* PTDC/MAT/68723/2006 KLog;
* POCI/MAT/55796/2004 QuantLog;
* POSC/EIA/55582/2004 Space-Time-Types