Fuzzy inequational logic
A truth-functional logic for reasoning with graded inequalities is proposed. Its semantics is defined using algebras with fuzzy orders. Completeness in the Pavelka style is established for all complete residuated lattices. A complete abstract logic of graded attributes is shown as an application.
graded inequalities fuzzy order residuated lattices complete axiomatization ifthen rules