on 14-09-2012
Jean-Yves Béziau, UFRJ - Brazil
September 14, 2012, Friday, 16h15m.
Classical cut-elimination means that a cut-free proof depends only on subformulas. But we also may have cut-free proofs depending on more than subformulas. Moreover cut-elimination does not mean that we have truth-functionality or compositionality. In this talk we will explain these distinctions and give many examples.
Room: 3.10, Mathematics