Jean-Yves Béziau
University of Brazil, Rio de Janeiro
École Normale Supérieure, Paris

Abstract: This talk is about the nature and definition of the notion of "substructural logic" from the point of view of universal logic. I will discuss the connections and differences between a general approach of logical systems based on sequent systems and the Polish logic methodology based on consequence operator or consequence relation, analyzing some phenomena like cut. I will study various examples of logics, in particular I will examine in which sense intuitionistic logic can be considered as a substructural logic or not.