45th Multi-dimension Seminar
Substitutions and rules
Rosalie Iemhoff

Department of Philosophy
Utrecht University

2012-11-13 (Tuesday), 13:15-15:00

K Lecture room 3・4

There are many ways to present a theory, even if only syntactic representations via 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.

Contact Person

Norbert Preining