Comptes Rendus
no. 2
Modèle relationnel de la logique linéaire du second ordre
Alexandra Bruasse-Bac1
1 Institut de mathématiques de Luminy, CNRS UPR 9016, 163, avenue de Luminy, case 930, 13288 Marseille cedex 09, France
Comptes Rendus. Mathématique, Volume 334 (2002) no. 2, pp. 93-96.

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.

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.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/S1631-073X(02)02229-X
Alexandra Bruasse-Bac 1

1 Institut de mathématiques de Luminy, CNRS UPR 9016, 163, avenue de Luminy, case 930, 13288 Marseille cedex 09, France 
@article{CRMATH_2002__334_2_93_0,
     author = {Alexandra Bruasse-Bac},
     title = {Mod\`ele relationnel de la logique lin\'eaire du second ordre},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {93--96},
     publisher = {Elsevier},
     volume = {334},
     number = {2},
     year = {2002},
     doi = {10.1016/S1631-073X(02)02229-X},
     language = {fr},
}
TY  - JOUR
AU  - Alexandra Bruasse-Bac
TI  - Modèle relationnel de la logique linéaire du second ordre
JO  - Comptes Rendus. Mathématique
PY  - 2002
SP  - 93
EP  - 96
VL  - 334
IS  - 2
PB  - Elsevier
DO  - 10.1016/S1631-073X(02)02229-X
LA  - fr
ID  - CRMATH_2002__334_2_93_0
ER  - 
%0 Journal Article
%A Alexandra Bruasse-Bac
%T Modèle relationnel de la logique linéaire du second ordre
%J Comptes Rendus. Mathématique
%D 2002
%P 93-96
%V 334
%N 2
%I Elsevier
%R 10.1016/S1631-073X(02)02229-X
%G fr
%F CRMATH_2002__334_2_93_0
Alexandra Bruasse-Bac. Modèle relationnel de la logique linéaire du second ordre. Comptes Rendus. Mathématique, Volume 334 (2002) no. 2, pp. 93-96. doi : 10.1016/S1631-073X(02)02229-X. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/S1631-073X(02)02229-X/

[1] Bruasse-Bac A., On phase semantics and denotational semantics: the second order, Prépublication IML n∘ 2000-29

[2] Bruasse-Bac A., Logique linéaire indexée du second ordre, Thèse de doctorat, Université Aix-Marseille II, 2001

[3] A. Bucciarelli; T. Ehrhard On phase semantics and denotational semantics: the exponentials, Ann. Pure Appl. Logic (2000)

[4] J.Y. Girard The system F of variable types: fifteen years later, Theoret. Comput. Sci. (1986)

[5] J.Y. Girard; Y. Lafont; P. Taylor Proofs and Types, Cambridge University Press, 1989

Cité par Sources :

Commentaires - Politique

Ces articles pourraient vous intéresser

Partie scientifique

C. R. Math (2002)

Une axiomatisation de la substitution

Marcel Crabbé

C. R. Math (2004)