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

Luigi Di Lascio

Browse the full SEKE paper archive.