%0 Journal Article
%A A. S. Gerasimov
%T Infinite-valued first-order {\L}ukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
%J Matematičeskie trudy
%D 2017
%P 3-34
%V 20
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_2017_20_2_a0/
%G ru
%F MT_2017_20_2_a0