Title :
T-norm based residuated logics-some recent results
Author :
Gottwald, Siegfried
Author_Institution :
Inst. for Logic & Philos. of Sci., Leipzig Univ., Germany
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
Keywords :
fuzzy logic; multivalued logic; T-norm based residuated logic; algebraic semantics; binary operation; fuzzy logic; infinite valued systems; many-valued logic; triangular norms; Boolean algebra; Cost accounting; Fuzzy logic; Lattices; Logic design; Logic functions; Multivalued logic; Upper bound;
Conference_Titel :
IFSA World Congress and 20th NAFIPS International Conference, 2001. Joint 9th
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-7078-3
DOI :
10.1109/NAFIPS.2001.944243