On completeness results for Predicate Lukasiewicz, Product, Gödel and Nilpotent Minimum Logics Expanded with Truth-constants. F. Esteva; L. Godo; C. Noguera — 2007 Mathware and Soft Computing