Rosalie Iemhoff: On Rules in Formal Systems

Lecture by Rosalie Iemhoff (Utrecht), organized by Grolog

There are many ways to present a theory, even if just syntactic representations with axioms and rules are considered. In recent years the variety of rules that can be used to axiomatize a theory has become much better understood. And in the case of logics, a close connection between such axiomatizations and unification theory has come to light. In this talk I will give an overview of results in this area.