T-norm based residuated logics-some recent results

Abstract

In the intertwined fields of many-valued and fuzzy logic recent years have seen interesting and important developments related to the topic of infinite valued systems which are essentially based on given triangular norms. For adequate axiomatizations of such logics, algebraic semantics have reached central importance. The paper surveys some of the core approaches and results of these developments.