Modèle relationnel de la logique linéaire du second ordre - 22/03/08
pages | 4 |
Iconographies | 0 |
Vidéos | 0 |
Autres | 0 |
Note présentée par Jean-Yves Girard
Résumé |
On construit un modèle purement relationnel de la logique linéaire du second ordre. En l'absence de toute notion de cohérence, on s'attachera tout particulièrement à établir un théorème de forme normale qui permettra d'interpréter les quantificateurs du second ordre. Pour citer cet article : A. Bruasse-Bac, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 93-96
Le texte complet de cet article est disponible en PDF.Abstract |
We define a purely relational model of second order linear logic. In the absence of any notion of coherence, we will especially concentrate on establishing a normal form theorem that will give rise to the interpretation of the second order quantifiers. To cite this article: A. Bruasse-Bac, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 93-96
Le texte complet de cet article est disponible en PDF.Plan
Vol 334 - N° 2
P. 93-96 - janvier 2002 Retour au numéroBienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?