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…