Project: A broadening and deepening study of formal logic on the basis of non-prelinear algebraic structures
- project duration
- 01-OCT-05 – 30-SEP-07
- A fuzz 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.