Comptes Rendus
no. 2
Modèle relationnel de la logique linéaire du second ordre
[Relational model of second order linear logic]
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.

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

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

Cited by Sources:

Comments - Policy