[no subject]: msg#00000

  P
  | c^
  P1
  | w^
  P2
  | s
  P4
  | ai^
  I 
  | ai_
  Q4
  | s
  Q3
  | w_
  Q1
  | c_
  Q

using the techniques I developped for linear logic in my thesis. As it has 
been observed much earlier on this list, cut elimination is an immediate 
consequence of this form of interpolation.

Thus, we have that in the CoS, cut elimination, decomposition and 
interpolation are immediate consequences of each other. There is no need of 
doing an induction on the cut-free sequent proof. It is just obvious from the 
way proofs are written in the CoS. In Alessio's "Formalism A", we could make 
it probably even more obvious.

The nice thing about all these proof transformations is that they get well 
along with my proof nets. This means that they do not change the underlying 
net of the derivation.

Best wishes,
Lutz




From Deep Inference to Proof Nets

Yves Guiraud:
The three dimensions of proofs

Gerard R. Renardel de Lavalette:
Abstract derivations, equational logic and interpolation

Estelle Dumoulin and Didier Galmiche:
Labelled Structures and Provability in Resource Logics - extended abstrac=
t

Joao Rasga:
Cut Elimination in Propositional Based Logics

Ewen Denney, John Power and Konstantinos Tourlas:
Hierarchical Proof Structures

Alessio Guglielmi:
The problem of bureaucracy and identity of proofs=20
from the perspective of deep inference

Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles:
Implementing Deep Inference in TOM

Jean-Baptiste Joinet:
Completeness of MLL proof-nets w.r.t. weak distributivity

Kai Br=FCnnler and St=E9phane Lengrand:
On two forms of bureaucracy in derivations

Richard Iain McKinley:
Classical Categories and Deep Inference

Charles Stewart and Robert Hein:
Purity through unravelling

****************************
The authors are asked to prepare a 30 minute long presentation.
More information about venues, timetable,=20
guidelines for final versions.... will
be available soon.

The deadline for early registration (ICALP and=20
workshops) is May 31; we have been informed that=20
the organizers are considering an extension on=20
this deadline for authors who have had papers=20
accepted at workshops. Please visit also the=20
ICALP'05 site http://icalp05.di.fct.unl.pt

****************************
The organisers (Francois Lamarche - chair, Paola Bruscoli, Charles Stewar=
t)