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

Luigi Di Lascio. Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic. In SEKE. pages 117-124, 2002. [doi]

Abstract

Abstract is missing.