–
Room P3.10, Mathematics Building
Jean-Yves Béziau, UFRJ - Brazil
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.