TY  - JOUR
AU  - A. S. Gerasimov
TI  - Infinite-valued first-order {\L}ukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
JO  - Matematičeskie trudy
PY  - 2017
SP  - 3
EP  - 34
VL  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_2017_20_2_a0/
LA  - ru
ID  - MT_2017_20_2_a0
ER  -