| List of publications: |
|
|
Citations (Crossref Cited-By Service + Math-Net.Ru) |
|
|
| 1. |
A. S. Gerasimov, “Deprenexification in analytic calculi for first-order rational Pavelka logic”, Mat. Sb. (to appear)  |
|
 2022 |
| 2. |
A. S. Gerasimov, “Comparing Calculi for First-Order Infinite-Valued Lukasiewicz Logic and First-Order Rational Pavelka Logic”, Logic and Logical Philosophy, 32:2 (2022), 269–318    |
|
| 2020 |
| 3. |
A. S. Gerasimov, “Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic”, Sib. Èlektron. Mat. Izv., 17 (2020), 1869–1899 |
|
| 2018 |
| 4. |
A. S. Gerasimov, “Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form”, Siberian Adv. Math., 28:2 (2018), 79–100   |
|
| 2016 |
| 5. |
A. S. Gerasimov, “Free-variable semantic tableaux for the logic of fuzzy inequalities”, Algebra and Logic, 55:2 (2016), 103–127 |
|
| 2014 |
| 6. |
A. S. Gerasimov, A course in mathematical logic and computability theory: Textbook (in Russian), 4th ed., Lan' Publishing House, St.Petersburg, 2014 , 416 pp. |
|
