City: Saint Petersburg Novosibirsk Kazan Language: Русский English

First-order logic with and without equality
A survey of automated theorem proving

What: Lecture
When: Saturday, 28 September 2013, 19:05–20:40
Where: ПОМИ РАН

Description

Here I will discuss first-order logic and the various methods for its semi-automation (tableaux, inverse method, resolution, model elimination), as well as some methods for equational reasoning. This was one of the primary interests in the 1970s and it still an active field today.

Video