Three valued logic of Lukasiewicz for modelin semantics of logic programs

In order to really understand all aspects of logic-based program development of different semantics, it would be useful to have a corm-non solid logical foundation. The stable semantics are based on G(3) but we show that stable semantics can be fully represented in the three valued logic of Lukasiewicz. We construct a particular semantics that we call L-3-WTS wich is defined over general propositional theories, can be defined via three valued logic of Lukasiewicz. Interesting L-3-WFS seems to satisfy, most of the principles of a well behaved semantics. Hence we propose the three valued Lukasiewicz logic to model WFS, extensions of WFS. and the Stable semantics.