Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210)

In 1979, Pavelka proved a completeness theorem for the (Belluce-Chang) first-order Łukasiewicz logic equipped with additional constants for each real number in the unit interval. Hájek's proof for the rational fragment of this logic was used by many authors to prove the completeness of many expansions of first-order Łukasiewicz logic. The present paper introduces a new method to prove completeness, using the fact that the standard MV-algebra \([0,1]\) is injective in the category of MV-algebras. The method is then applied to product Łukasiewicz logic and to divisible Łukasiewicz logic.