Sala 6.2.33, FCUL, Lisboa
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.
15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
