Classical Negation and Game-Theoretical Semantics

Type de document :
Article dans une revue scientifique: Article original
DOI :
10.1215/00294527-2798709
Titre :
Classical Negation and Game-Theoretical Semantics
Auteur(s) :
Tulenheimo, Tero [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Titre de la revue :
Notre Dame Journal of Formal Logic
Pagination :
469-498
Éditeur :
University of Notre Dame
Date de publication :
2014-11-03
ISSN :
0029-4527
Mot(s)-clé(s) en anglais :
game-theoretical semantics
higher-order logic
independence-friendly logic
negation
Discipline(s) HAL :
Sciences de l'Homme et Société/Philosophie
Mathématiques [math]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
  • https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-55/issue-4/Classical-Negation-and-Game-Theoretical-Semantics/10.1215/00294527-2798709.pdf
  • Accès libre
  • Accéder au document