GERASIMOV, A. S. Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic. Logic and Logical Philosophy, [S. l.], v. 32, n. 2, p. 269–318, 2022. DOI: 10.12775/LLP.2022.030. Disponível em: https://apcz.umk.pl/LLP/article/view/34870. Acesso em: 26 may. 2024.