Return to Article Details On the proof-theory of a first-order extension of GL Download Download PDF