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.
Accepted:
Published online:
@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] On phase semantics and denotational semantics: the exponentials, Ann. Pure Appl. Logic (2000)
[4] The system F of variable types: fifteen years later, Theoret. Comput. Sci. (1986)
[5] Proofs and Types, Cambridge University Press, 1989
Cited by Sources: