Many-valued logics are sometimes used in electronic engineering. For example, a control system for a plant might have a sensor attached to an aperture and the logic may need to distinguish three cases, the sensor is reporting that the aperture is open, the sensor is reporting that the aperture is closed, and the sensor is not reporting anything, perhaps because it is broken. Many-valued logics are often described as preserving a designated value, and in such a case the logic would work to preserve the conditions of safe operation.
Many knowledge based systems in artificial intelligence use nonmonotonic logic. If you pick up a standard textbook of knowledge representation, such as Brachman and Levesque's Knowledge Representation and Reasoning, you will find coverage of default logics and autoepistemic logic.
The Bayesian approach to probability in effect treats probability theory as a logic of partial belief. The use of Bayesian techniques to solve problems is very widespread. It is used in everything from weather forecasting, exploration, finance, medicine, environmental prediction, etc. Pretty much anywhere you have to make decisions under uncertainty.
As you mention, fuzzy logic is sometimes used in control systems.
Artificial intelligence systems sometimes use paraconsistent approaches to logic, because they may need to process conflicting information without falling into triviality.
AI systems also sometimes use non-classical approaches to negation, such as 'negation as failure', or they may allow for a strong and weak negation corresponding roughly to: this is definitely false vs. this may be false for all we know.
Linear logic is used in computer science to model functional programming and logic programming, particular with reference to parallel processing. It also has applications in representing the logic of resource-bound interactions.
Modal logic is used within philosophy and linguistics. How practical you consider that to be is a matter of opinion.
Intuitionistic logic is used within contructive mathematics. Some programming languages, such as ML and Haskell are based on intuitionistic logic.