Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic

摘要

In this paper a sound and complete tableau system for the Rational Pavelka Logic is introduced. The completeness is proved thanks to fuzzy hilbertian system formulated by Hajek. A fuzzy tableau cut rule is introduced but a cut elimination theorem is proved.