Alexander S. Gerasimov

PhD ("Candidate of Sciences" in Russia) in Computer Science

Email: Alexander dot S dot Gerasimov at ya dot ru


  • 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