Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic. Hajek, P & Paris, J. The Journal of Symbolic Logic, 65(2):669--682, 2000.
bibtex   
@article{Hajek2000a,
author = {Hajek, P and Paris, J.B.},
file = {:Users/hykel/Documents/library/Hajek, Paris/Hajek, Paris - 2000 - Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic.pdf:pdf},
journal = {The Journal of Symbolic Logic},
number = {2},
pages = {669--682},
title = {{Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic}},
volume = {65},
year = {2000}
}

Downloads: 0