|
|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
| 1. |
A. S. Gerasimov, “Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic”, Sib. Èlektron. Mat. Izv., 17 (2020), 1869–1899  |
|
2017 |
| 2. |
A. S. Gerasimov, “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  ; Siberian Adv. Math., 28:2 (2018), 79–100  |
1
|
|
2016 |
| 3. |
A. S. Gerasimov, “Free-variable semantic tableaux for the logic of fuzzy inequalities”, Algebra Logika, 55:2 (2016), 156–191 ; Algebra and Logic, 55:2 (2016), 103–127  |
2
|
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
|
Contact us: