90 citations · 124 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016★ 1 cited
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…
cs.LO2016★ 5 cited
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Félix Bou, Francesc Esteva, Lluís Godo +1
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD4…