The present study aimed at exploring the idempotent and compatible aggregation functions on a complete infinitely distributive lattice B of propositions about the LB-valued general fuzzy automata (for simplicity, LB-valued GFA), where the compatibility is related to the congruences on B. Further, we have shown that all aggregation functions on B can be obtained as usual composition of lattice operations ∨,∧ and certain unary and binary aggregation functions. Moreover, our results yield a new characterization of discrete Sugeno integrals on B.
Read full abstract