Triangular norm-based mathematical fuzzy logics

In this chapter, we consider particular classes of infinite-valued propositional logics which are strongly related to t-norms as conjunction connectives and to the real unit interval as set of their truth degrees, and which have their implication connectives determined via an adjointness condition. Such systems have in the last ten years been of considerable interest, and the topic of important results. They generalize well-known systems of infinite-valued logic, and form a link to as different areas as e.g. linear logic and fuzzy set theory. We survey the most important ones of these systems, always explaining suitable algebraic semantics and adequate formal calculi, but also discussing complexity issues. Finally we mention a type of extension which allows for graded notions of provability and entailment.