Formal Fuzzy Logic

Fuzzy logic can be seen as an extension of ordinary logic, where the main difference is that we use fuzzy sets for the membership of a variable
We can have fuzzy propositional logic and fuzzy predicate logic
Fuzzy logic can have many advantages over ordinary logic in areas like artificial intelligence where a simple true/false statement is insufficient