-
Views
-
Cite
Cite
George Metcalfe, Nicola Olivetti, Dov Gabbay, Łukasiewicz Logic: From Proof Systems To Logic Programming, Logic Journal of the IGPL, Volume 13, Issue 5, September 2005, Pages 561–585, https://doi.org/10.1093/jigpal/jzi042
- Share Icon Share
Abstract
We present logic programming style “goal-directed” proof methods for Łukasiewicz logic Ł 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 Ł with rational constants.
© The Author, 2005. Published by Oxford University Press. All rights reserved.
Issue Section:
Original Articles
You do not currently have access to this article.