Gerasimov AS. Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic. LLP [Internet]. 2022 Nov. 16 [cited 2025 Jul. 3];32(2):269-318. Available from: https://apcz.umk.pl/LLP/article/view/34870