Comparing several calculi for first-order infinite-valued {\L}ukasiewicz logic
Logic in Computer Science
2023-02-02 v1
Abstract
From the viewpoint of provability, we compare some Gentzen-type hypersequent calculi for first-order infinite-valued {\L}ukasiewicz logic and for first-order rational Pavelka logic with each other and with H\'ajek's Hilbert-type calculi for these logics. The key aspect of our comparison is a density elimination proof for one of the hypersequent calculi considered.
Cite
@article{arxiv.1812.05297,
title = {Comparing several calculi for first-order infinite-valued {\L}ukasiewicz logic},
author = {Alexander S. Gerasimov},
journal= {arXiv preprint arXiv:1812.05297},
year = {2023}
}
Comments
35 pages