About: Multi-adjoint logic programming

Multi-adjoint logic programming defines syntax and semantics of a logic programming program in such a way that the underlying maths justifying the results are a residuated lattice and/or MV-algebra. The definition of a multi-adjoint logic program is given, as usual in fuzzy logic programming, as a set of weighted rules and facts of a given formal language F. Notice that we are allowed to use different implications in our rules. Definition: A multi-adjoint logic program is a set P of rules of the form <(A ←i B), δ> such that: 1. The rule (A ←i B) is a formula of F; 3. The head A is an atom;