Pseudo-t-norms and Implication Operators: L-relation Equations
Zhudeng Wang, Yandong Yu · 2005
In this paper, we study the structure of solutions of sup-T type and inf-α(subscript T) type L-relation equations, where L is a complete Brouwerian lattice, T an infinitely V-distributive pseudo-t-norm on L, and α(subscript T) an infinitely Λ-distributive implication on L.