@article{MT_2017_20_2_a0,
     author = {A. S. Gerasimov},
     title = {Infinite-valued first-order {{\L}ukasiewicz} logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form},
     journal = {Matemati\v{c}eskie trudy},
     pages = {3--34},
     publisher = {mathdoc},
     volume = {20},
     number = {2},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_2017_20_2_a0/}
}