1 citations · 1 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Finite semantics for fragments of intuitionistic logic
Felipe S. Albarelli, Rodolfo Ertola-Biraben
In 1932, Gödel proved that there is no finite semantics for intuitionistic logic. We consider all fragments of intuitionistic logic and check in each case whether a finite semantic…
math.LO2019
On distributive join-semilattices
Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
Motivated by Gentzen disjunction elimination rule in his Natural Deduction calculus and reading inequalities with meet in a natural way, we conceive a notion of distributivity for…