Gerasimov, Alexander 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.