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
Exploring a Syntactic Notion of Modal Many-Valued Logics. F. Bou; F. Esteva; L. Godo — 2008 Mathware and Soft Computing