prooftheoryforfuzzylogics