Classical Negation and Game-Theoretical Semantics

Tero Tulenheimo

doi:10.1215/00294527-2798709

Article Dans Une Revue Notre Dame Journal of Formal Logic Année : 2014

Classical Negation and Game-Theoretical Semantics

(1)

1

Tero Tulenheimo

Fonction : Auteur
PersonId : 6686
IdHAL : tero-tulenheimo
IdRef : 08684119X

Savoirs, Textes, Langage (STL) - UMR 8163

Mots clés

game-theoretical semantics higher-order logic independence-friendly logic negation

Domaines

Philosophie Mathématiques [math]

Tero Tulenheimo : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01249500

Soumis le : vendredi 1 janvier 2016-20:33:57

Dernière modification le : vendredi 19 avril 2024-14:37:26

Dates et versions

hal-01249500 , version 1 (01-01-2016)

Identifiants

HAL Id : hal-01249500 , version 1
DOI : 10.1215/00294527-2798709

Citer

Tero Tulenheimo. Classical Negation and Game-Theoretical Semantics. Notre Dame Journal of Formal Logic, 2014, 55 (4), pp.469-498. ⟨10.1215/00294527-2798709⟩. ⟨hal-01249500⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS STL UNIV-LILLE

111 Consultations

0 Téléchargements

Classical Negation and Game-Theoretical Semantics

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager