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
More Information..
on 03-05-2011
The ISCTE-IUL School of Technology and Architecture (ISTA), in close cooperation with its students, organized its first annual forum called FISTA (Forum of ISTA), dedicated to the subject “Companies powered by Universities”, that took place between the 3rd and 4th of May 2011 at the great auditorium of the InstitutoUniversitário de Lisboa. During these days there were several presentations and expositions in all scientific areas of this school, involving research institutions and companies. The event ended with an interesting debate with representatives from the industry and the university, emphasizing this important cooperation that characterizes ISCTE-IUL.
More Information..