Gerasimov Aleksandr Sergeevich

Publications in Math-Net.Ru

1. Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  1869–1899
2. Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
   
   Mat. Tr., 20:2 (2017),  3–34
3. Free-variable semantic tableaux for the logic of fuzzy inequalities
   
   Algebra Logika, 55:2 (2016),  156–191