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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Article ou chapitre numérique |
| Jazyk: | Français |
| Vydáno: |
2005
|
| On-line přístup: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |