Independence and games
La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possibl...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Article ou chapitre numérique |
| Iaith: | Français |
| Cyhoeddwyd: |
2005
|
| Mynediad Ar-lein: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |