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

From Mathfuzzlog
Jump to: navigation, search
Authors:
Petr Hájek
J. Paris
J. Shepherdson
Title: Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic
Journal: Journal of Symbolic Logic
Volume 65
Number 2
Pages: 669-682
Year: 2000