Triangle algebras: A formal logic approach to interval-valued residuated lattices