TY  - JOUR
AU  - A. S. Gerasimov
TI  - Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2020
SP  - 1869
EP  - 1899
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2020_17_a40/
LA  - ru
ID  - SEMR_2020_17_a40
ER  -