Hostname: page-component-7c8c6479df-8mjnm Total loading time: 0 Render date: 2024-03-19T05:11:25.851Z Has data issue: false hasContentIssue false

Two-dimensional proof-structures and the exchange rule

Published online by Cambridge University Press:  03 February 2004

CHRISTOPHE GAUBERT
Affiliation:
CNRS – FRUMAM, Institut de Mathématiques de Luminy, 163, avenue de Luminy – case 907, 13288 Marseille cedex 09, France Email: gaubert@iml.univ-mrs.fr

Abstract

In the paper Métayer (2001), Métayer transforms multiplicative proof-structures into orientable surfaces with boundaries. He investigates the link between the topological complexity and the number of exchanges in a sequentialisation. The theorem he achieves is about a particular rule of exchange (transpositions by blocks). We complete his approach by showing that the topological complexity does not provide any information in other cases (arbitrary exchange, upper bound of the number of exchanges). Then, we show that, on the other hand, the surface associated to a proof-structure is the surface of minimal complexity on which the proof can be drawn without crossing and respecting the local orientation.

Type
Paper
Copyright
2004 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)