AIM & SCOPE
Proof theoretic and algebraic methods traditionally represent two distinct approaches in Logic: the first concerned with syntactic and algorithmic aspects, the second with meaning and semantic structures. In a number of intriguing cases, however, methods from one field are (or at least seem to be) essential to proofs in the other; an example being the use of Gentzen systems to establish decidability and amalgamation results for classes of residuated structures. In recent years, a number of researchers have begun to explore connections between these two fields more closely, providing algebraic interpretations of proof-theoretic methods, and vice versa. The time is ripe to clarify and exploit these connections. The intention of this meeting is to bring together distinguished experts from both Proof Theory and Algebra, with the expressed purpose of developing such connections and of promoting a greater degree of communication between these two fields.
The following topics will be emphasized at the meeting:
- Gentzen systems for non-classical logics and classes of algebras.
- Ordered algebraic structures.
- Cut elimination and eliminations of other rules.
- Applications of proof-theoretic methods in Algebra.
The workshop is organized by George Metcalfe and Constantine Tsinakis of Vanderbilt University.
Please visit this site for additional information and regular updates, and use the e-mail address firstname.lastname@example.org
to reach the organizers.