27 September 2017
Universidad Federal de Campinas, SP, Brazil
Reasoning and Logic Department
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.