Type-2 fuzzy logic systems have recently been utilized in many control processes due to their ability to model uncertainties. This paper proposes a novel inference mechanism for an interval type-2 Takagi-Sugeno-Kang fuzzy logic control system (IT2 TSK FLCS) when antecedents are type-2 fuzzy sets and consequents are crisp numbers (A2-C0). The proposed inference mechanism has a closed form which makes it more feasible to analyze the stability of this FLCS. This paper focuses on control applications for the following cases: 1) Both plant and controller use A2-C0 TSK models, and 2) the plant uses type-1 Takagi-Sugeno (TS) and the controller uses IT2 TS models. In both cases, sufficient stability conditions for the stability of the closed-loop system are derived. Furthermore, novel linear-matrix-inequality-based algorithms are developed for satisfying the stability conditions. Numerical analyses are included which validate the effectiveness of the new inference methods. Case studies reveal that an IT2 TS FLCS using the proposed inference engine clearly outperforms its type-1 TSK counterpart. Moreover, due to the simple nature of the proposed inference engine, it is easy to implement in real-time control systems. The methods presented in this paper lay the mathematical foundations for analyzing the stability and facilitating the design of stabilizing controllers of IT2 TSK FLCSs and IT2 TS FLCSs with significantly improved performance over type-1 approaches.