Integrating resolution—like procedures with Lukasiewicz implication

1993

We discuss some conceptual and technical problems raised by the attempt of integrating resolution-like procedures with the use of Lukukasiewicz implication Min{1, 1 – [a] + [b]} in an environment of approximate reasoning modelled by fuzzy logics.