Logic

Research Frontiers in Resolution and Automated Theorem Proving

Develops inference rules and algorithms for automated proof search in classical logic with focus on refutation completeness.

All Logic PhD categories