Gerasimov, A. S. (2022) “Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic”, Logic and Logical Philosophy, 32(2), pp. 269–318. doi: 10.12775/LLP.2022.030.