Defuzzifying formulas in Gödel logic through finitely additive measures
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra · 2008
Godel logic is the fuzzy logic of the minimum triangular norm and its residuum. Using the functional representation of the Lindenbaum algebra of Godel logic, we analyze the interaction between the integral operator and the logical connectives. On these grounds, we put forth a notion of finitely additive probability measure for Godel logic. Our first main result shows that such measures precisely correspond to integrating the truth value functions induced by Godel formulas with respect to a Borel probability measure on the real unit cube [0,1]n. Our second main result shows that they also coincide with convex combinations of finitely many [0,1]-valued assignments.