jspTIN-2007: Multi-valued Logic: Foundations and application to management of vagueness and imprecision TIN2004-07933-C03

The project had three basic objectives. The first one was the logical and algebraic study of t-norm based many-valued logics in the frame of both residuated and substructural logics. The second one was the formalization, within the framework of the above logics, of several deductive soft computing mechanisms, based on fuzzy logic, to deal with vagueness, uncertainty and imprecision. The last one was to continue theoretical and experimental research on many-valued SAT and Max-SAT algorithms and their application to solve computationally difficult problems. We have deeply worked on the three goals and obtained a significant number of results, which we summarize in this report and which have been published in several conferences and journal papers.