GERASIMOV, Alexander S. Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic. Logic and Logical Philosophy. Online. 16 November 2022. Vol. 32, no. 2, pp. 269-318. [Accessed 27 July 2024]. DOI 10.12775/LLP.2022.030.