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