Skip to ContentSkip to Navigation
About us Faculty of Philosophy Organization News & Events News Events

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.