The liar paradox and fuzzy logic

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr( x ) saying “ x is true” and satisfying the “dequotation schema” for all sentences φ? This problem is investigated in the frame of Łukasiewicz infinitely valued logic.