Deadline: 
27 Septiembre 2017
Institution: 
Universidad Federal de Campinas, SP, Brazil
Department: 
Departamento de Razonamiento y Lógica
Speaker: 
Rodolfo C. Ertola-Biraben

We consider Gentzen’s Disjunction Elimination rule in order to provide a no-tion of distributivity for semilattices and posets. We compare it with Graetzer and Schmidt’s notion of distributivity and also with Rachunek’s notion.

Institution department: 
CLE