Modèle relationnel de la logique linéaire du second ordre
Comptes Rendus. Mathématique, Tome 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
Bruasse-Bac, Alexandra 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 = {Bruasse-Bac, Alexandra},
     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},
     url = {http://www.numdam.org/articles/10.1016/S1631-073X(02)02229-X/}
}
TY  - JOUR
AU  - Bruasse-Bac, Alexandra
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
UR  - http://www.numdam.org/articles/10.1016/S1631-073X(02)02229-X/
DO  - 10.1016/S1631-073X(02)02229-X
LA  - fr
ID  - CRMATH_2002__334_2_93_0
ER  - 
%0 Journal Article
%A Bruasse-Bac, Alexandra
%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
%U http://www.numdam.org/articles/10.1016/S1631-073X(02)02229-X/
%R 10.1016/S1631-073X(02)02229-X
%G fr
%F CRMATH_2002__334_2_93_0
Bruasse-Bac, Alexandra. Modèle relationnel de la logique linéaire du second ordre. Comptes Rendus. Mathématique, Tome 334 (2002) no. 2, pp. 93-96. doi : 10.1016/S1631-073X(02)02229-X. http://www.numdam.org/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] Bucciarelli, A.; Ehrhard, T. On phase semantics and denotational semantics: the exponentials, Ann. Pure Appl. Logic (2000)

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

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

Cité par Sources :