Classical Negation and Game-Theoretical Semantics
Document type :
Compte-rendu et recension critique d'ouvrage
DOI :
Title :
Classical Negation and Game-Theoretical Semantics
Author(s) :
Journal title :
Notre Dame Journal of Formal Logic
Pages :
469-498
Publisher :
University of Notre Dame
Publication date :
2014-11-03
ISSN :
0029-4527
English keyword(s) :
game-theoretical semantics
higher-order logic
independence-friendly logic
negation
higher-order logic
independence-friendly logic
negation
HAL domain(s) :
Sciences de l'Homme et Société/Philosophie
Mathématiques [math]
Mathématiques [math]
Language :
Anglais
Popular science :
Non
Collections :
Source :
Files
- 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
- Open access
- Access the document