1 citations · 1 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2008★ 1 cited
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Felix Bou, Francesc Esteva, Lluis Godo +1
This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility rel…
math.LO2008
Logics preserving degrees of truth from varieties of residuated lattices
F. Bou, F. Esteva, J. M. Font +4
Let K be a variety of (commutative, integral) residuated lattices. The substructural logic usually associated with K is an algebraizable logic that has K as its equivalent algebrai…