Goal-Directed Methods for Fuzzy Logics

@inproceedings{Metcalfe2005GoalDirectedMF,
  title={Goal-Directed Methods for Fuzzy Logics},
  author={George Metcalfe and Nicola Olivetti},
  booktitle={We Will Show Them!},
  year={2005}
}
In this contribution we present uniform goal-directed rule s for the implicational fragments of the three main formalizations of fuzzy logic; n amely, Łukasiewicz logic Ł , Gödel logicG, and Product logicΠ. We begin with a historical overview of the goal-directed methodology, focussing in particular on the pioneering work of Dov Gabbay, then proceed by recalling the fundamental sys tem of fuzzy logic, and developing corresponding goal-directed algorithms.