1 citations · 1 across the 4 of their papers we have counts for
4 papers
On a characterization of o-modular semilattices
Rodolfo C. Ertola-Biraben
Dedekind stated and proved the well-known fact that a lattice is modular if and only if it does not contain a pentagon as a sublattice. In this paper we consider a similar result i…
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…
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…
Expanding FLew with a Boolean connective
Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
We expand FLew with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded…