Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic

Petr Hájek, Jeff B. Paris, John C. Shepherdson. Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. Journal of Symbolic Logic, 65(2):669-682, 2000.

Abstract

Abstract is missing.