Rosalie Iemhoff: On Rules in Formal Systems
|When:||Th 18-09-2014 15:15 - 17:00|
|Where:||Faculty of Philosophy (Oude Boteringestraat 52), Aquarium|
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.