@article{Gerasimov_2022, title={Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic}, volume={32}, url={https://apcz.umk.pl/LLP/article/view/34870}, DOI={10.12775/LLP.2022.030}, abstractNote={<p>We consider first-order infinite-valued Łukasiewicz logic and its expansion, first-order rational Pavelka logic RPL∀. From the viewpoint of provability, we compare several Gentzen-type hypersequent calculi for these logics with each other and with Hájek’s Hilbert-type calculi for the same logics. To facilitate comparing previously known calculi for the logics, we define two new analytic calculi for RPL∀ and include them in our comparison. The key part of the comparison is a density elimination proof that introduces no cuts for one of the hypersequent calculi considered.</p>
<p> </p>}, number={2}, journal={Logic and Logical Philosophy}, author={Gerasimov, Alexander S.}, year={2022}, month={Nov.}, pages={269–318} }