The pseudo-linear semantics of interval-valued fuzzy logics (Q1007878)

This paper can be considered as a continuation of a previous work of the same authors [``Triangle algebras: a formal logic approach to interval-valued residuated lattices'', Fuzzy Sets Syst. 159, No.~9, 1042--1060 (2008)]. The authors introduce the notion of a filter in a triangle algebra to prove that a pseudo-prelinear triangle algebra is a subdirect product of pseudo-linear triangle algebras. Consequently, the authors show that several examples of algebraic properties in pseudo-linear triangle algebras hold also in pseudo-prelinear triangle algebras.