Skip to ContentSkip to Navigation
Over onsFaculteit WijsbegeerteNieuwsAgenda

Rosalie Iemhoff: On Rules in Formal Systems

Wanneer:do 18-09-2014 15:15 - 17:00
Waar: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.