Łukasiewicz Logic: From Proof Systems To Logic Programming
George Metcalfe, Nicola Olivetti, D.M. Gabbay · Logic Journal of IGPL · 2005
We present logic programming style “goal-directed ” proof methods for Lukasiewicz logic L that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve efficiency and obtain termination. We then provide an algorithm for fuzzy logic programming in Rational Pavelka logic RPL, an extension of L with rational constants.