## Fuzzy-set based logics - an history-oriented presentation of their main developments

- Didier Dubois, Francesc Esteva, Lluis Godo, Henri Prade
- The Many Valued and Nonmonotonic Turn in Logic
- 2007

@inproceedings{Metcalfe2005GoalDirectedMF, title={Goal-Directed Methods for Fuzzy Logics}, author={George Metcalfe and Nicola Olivetti}, booktitle={We Will Show Them!}, year={2005} }

- Published 2005 in We Will Show Them!

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.