Modèle relationnel de la logique linéaire du second ordre
[Relational model of second order linear logic]
Comptes Rendus. Mathématique, Volume 334 (2002) no. 2, pp. 93-96.

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.

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.

Received:
Accepted:
Published online:
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://archive.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://archive.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://archive.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, Volume 334 (2002) no. 2, pp. 93-96. doi : 10.1016/S1631-073X(02)02229-X. http://archive.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

Cited by Sources: