One significant area of recent research is the exploration of weak monadic residuated distributive lattices ... the completeness of monadic fuzzy predicate logic has been rigorously proven ...