Fuzzy Decision Procedures with Binary Relations Towards A Unified Theory | EKB DL