The proper interpretation of intuitionistic logic

Mark van Atten; Göran Sundholm

Communication dans un congrès Année : 2007

The proper interpretation of intuitionistic logic

(1) ,

1

Mark van Atten

Fonction : Auteur
PersonId : 11478
IdHAL : mark-van-atten
ORCID : 0000-0002-8097-5531
IdRef : 113308310

Institut d'Histoire et de Philosophie des Sciences et des Techniques

Göran Sundholm

Fonction : Auteur

Mots clés

philosophy of mathematics

Domaines

Histoire, Philosophie et Sociologie des sciences

Liste complète des métadonnées

Format du dépôt	Notice
Type de dépôt	Communication dans un congrès
Titre	en The proper interpretation of intuitionistic logic
Auteur(s)	Mark van Atten ¹ , Göran Sundholm 1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques ( 1342 ) - 13 Rue du four 75006 PARIS - France Université Paris 1 Panthéon-Sorbonne ( 7550 ) ; Département d'Etudes Cognitives - ENS Paris ( 91936 ) ; École normale supérieure - Paris ( 59704 ) ; Université Paris Sciences et Lettres ( 564132 ) Centre National de la Recherche Scientifique UMR8590 ( 441569 )
Vulgarisation	Non
Comité de lecture	Oui
Actes	Non
Invité	Non
Langue du document	Anglais
Date de production/écriture	2007
Audience	Non spécifiée
Titre du congrès	1907-2007: One Hundred Years of Intuitionism
Date début congrès	2007-06-05
Date fin congrès	2007-06-12
Ville	Cerisy
Pays	France
Domaine(s)	Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Référence interne	LLPM
Mots-clés	en philosophy of mathematics

Mark Van Atten : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-00791547

Soumis le : jeudi 21 février 2013 à 14:00:26

Dernière modification le : vendredi 19 avril 2024 à 16:18:55

Dates et versions

halshs-00791547, version 1 (21-02-2013)

Identifiants

HAL Id : halshs-00791547 , version 1

Citer

Mark van Atten, Göran Sundholm. The proper interpretation of intuitionistic logic. 1907-2007: One Hundred Years of Intuitionism, Jun 2007, Cerisy, France. ⟨halshs-00791547⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH PSL

165 Consultations

0 Téléchargements

Dernière date de mise à jour le 20/04/2024

The proper interpretation of intuitionistic logic

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager