TY  - RPRT
TI  - A repetition-free hypersequent calculus for first-order rational Pavelka logic
AU  - Alexander S. Gerasimov
PY  - 2019
DO  - 10.33048/semi.2020.17.127
UR  - https://arxiv.org/abs/1812.04861
ID  - 1812.04861
ER  -