Modèle relationnel de la logique linéair
✍
Alexandra Bruasse-Bac
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 55 KB
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.