Project: A broadening and deepening study of formal fuzzy logic on the basis of non-prelinear algebraic structures
01-OCT-06 – 30-SEP-08
A fuzzy logic is a generalization of classical logic. The truth values are not restricted to 0 and 1, and can even be incomparable. Like classical logic, fuzzy logics can be formally described in terms of axioms and deduction rules. It's important to know which underlying algebraic structure corresponds to a particular fuzzy logic and if this logic is sound and complete wrt this structure.