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), 269–318. https://doi.org/10.12775/LLP.2022.030