4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 4 cited
A repetition-free hypersequent calculus for first-order rational Pavelka logic
Alexander S. Gerasimov
We present a hypersequent calculus for first-order infinite-valued Łukasiewicz logic and for an extension of it, first-order rational Pavelka logic; the c…
cs.LO2018★ 3 cited
Comparing several calculi for first-order infinite-valued Łukasiewicz logic
Alexander S. Gerasimov
From the viewpoint of provability, we compare some Gentzen-type hypersequent calculi for first-order infinite-valued Łukasiewicz logic and for first-order rational Pavelka logic wi…