Subject: Re: congratulations!
Newsgroups: gmane.science.mathematics.frogs
Date: 2006-03-18 11:37:25 GMT (2 years, 7 weeks, 5 days, 23 hours and 57 minutes ago)
Richard's thesis present a categorical model theory for first-order classical sequent calculus based on the classical categories introduced by Carsten Führmann and myself. The work includes proof nets, fibred models, soundness and completeness (wrt to cut-elimination), relational examples, and some connections with classical model theory and with the calculus of structures. David Pym D Richardson (by way of Alessio Guglielmi) wrote: > Congratulations to Richard Mckinley who successfully defended his thesis > this afternoon. It has been accepted subject to minor corrections being > made. A very nice piece of work > Daniel Richardson >