PhD ("Candidate of Sciences" in Russia) in Computer Science
Email: Alexander dot S dot Gerasimov at ya dot ru
Interests
classical and many-valued logics
proof theory
automated theorem proving
An English translation of the abstract of my PhD thesis "Design and implementation of a proof search algorithm for an extension of infinite-valued predicate Lukasiewicz logic" (2007)
Selected publications
A.S. Gerasimov, Comparing Calculi for First-Order Infinite-Valued Lukasiewicz Logic and First-Order Rational Pavelka Logic, Logic and Logical Philosophy [online], Nov. 2022, 1-50.
A.S. Gerasimov, Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic, Siberian Electronic Mathematical Reports, Vol. 17 (2020), 1869-1899.
A.S. Gerasimov, Infinite-valued first-order Lukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form, Siberian Advances in Mathematics, Vol. 28, No. 2 (2018), 79-100. (For errata, see Appendix A in arXiv:1812.04861v2.)
A.S. Gerasimov, Free-variable semantic tableaux for the logic of fuzzy inequalities, Algebra and Logic, Vol. 55, No. 2 (2016), 103-127.