Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic

Personal tools