Cut-elimination and Interpolation for the Omega-Logic
Vauzeilles, Jacqueline
HAL, hal-00003514 / Harvested from HAL
Text on HAL
In 1978, Girard introduced the beta-logic to generalize the omega-logic. The basic category of beta-logic is the category ON of ordinals. For geometric structure reasons, Girard changed the basic theory ON into the more general category WF of well-founded orders (1983). The logic he obtained was called Omega-logic. Here, we extend (unpublished) results of beta-logic to Omega-logic.
Publié le : 1988-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00003514,
     author = {Vauzeilles, Jacqueline},
     title = {Cut-elimination and Interpolation for the Omega-Logic},
     journal = {HAL},
     volume = {1988},
     number = {0},
     year = {1988},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003514}
}

Vauzeilles, Jacqueline. Cut-elimination and Interpolation for the Omega-Logic. HAL, Tome 1988 (1988) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003514/