Room P3.10, Mathematics Building

Jean-Yves Béziau, UFRJ, Brazil
Monosequent proof systems

In this talk I will discuss systems of sequents with only one formula on the right and one formula on the left. I will compare these systems with other ones (standard systems, intuitionist and dual intuitionist sequent systems), and show how we can generalize known results, in particular cut-elimination, to this framework. I will also study some specific cases/applications of monosequents such as non-distributive logics.