21772 articles – 15587 Notices  [english version]

hal-00003514, version 1

Cut-elimination and Interpolation for the Omega-Logic

Jacqueline Vauzeilles () 1

Archive for Mathematical Logic 27 (1988) 161-175

Résumé : 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.

  • 1 :  Équipe de Logique Mathématique (ELM)
  • CNRS : UMR7056 – Université Paris VII - Paris Diderot
  • Domaine : Mathématiques/Logique
    Informatique/Logique en informatique
 
  • hal-00003514, version 1
  • http://hal.archives-ouvertes.fr/hal-00003514
  • oai:hal.archives-ouvertes.fr:hal-00003514
  • Contributeur : Jacqueline Vauzeilles <>
  • Soumis le : Vendredi 10 Décembre 2004, 12:22:03
  • Dernière modification le : Dimanche 1 Juillet 2007, 16:40:21