Fuzzy Decision Procedures with Binary Relations