Jose Gil-Ferez (University of Barcelona),

Tuesday, October 31st, 2006 
"Algebraic Logic : A Categorical Isomorphism Theorem".


Abstract: The notion of a multi-term \pi-institution is introduced and
a criterion for the equivalence of two multi-term \pi-institutions in 
terms of their categories of theories is proved. Examples of \pi
institions include sentential logics, Gentzen systems, and other
systems. A counterexample is given that shows that the above criterion
is false for arbitrary \pi-institutions.