Modèle relationnel de la logique linéaire du second ordre

✍ Scribed by Alexandra Bruasse-Bac

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 55 KB
• Volume: 334
• Category: Article
• ISSN: 1631-073X
• DOI: 10.1016/s1631-073x(02)02229-x

✦ Synopsis

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.