Triangle algebras: a formal logic approach to interval-valued residuated lattices Universiteit Gent
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of interval-valued residuated lattices (IVRLs). Furthermore, we present triangle logic (TL), a system of many-valued logic capturing the tautologies of IVRLs. Triangle algebras are used to cast the essence ...