A repetition-free hypersequent calculus for first-order rational Pavelka logic. - Alexander S. Gerasimov (CoRR, 2018)

Comparing several calculi for first-order infinite-valued Łukasiewicz logic. - Alexander S. Gerasimov (CoRR, 2018)