Ideal proofs and logical constructivity : from intuitionistic to classical logic

Mattia Petrolo

Communication dans un congrès Année : 2009

Ideal proofs and logical constructivity : from intuitionistic to classical logic

(1)

1

Mattia Petrolo

Fonction : Auteur

Université Paris Diderot - Paris 7

Domaines

Philosophie

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 Ideal proofs and logical constructivity : from intuitionistic to classical logic
Auteur(s)	Mattia Petrolo ¹ 1 UPD7 - Université Paris Diderot - Paris 7 ( 300301 ) - 5 rue Thomas-Mann - 75205 Paris cedex 13 - France
Vulgarisation	Non
Comité de lecture	Oui
Actes	Non
Invité	Non
Langue du document	Anglais
Audience	Non spécifiée
Titre du congrès	IP Fellows Seminar
Date début congrès	2009-01-22
Ville	Paris
Pays	France
Domaine(s)	Sciences de l'Homme et Société/Philosophie

Andrei Rodin : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00588472

Soumis le : samedi 23 avril 2011 à 17:26:45

Dernière modification le : samedi 25 juin 2022 à 20:50:33

Dates et versions

hal-00588472, version 1 (23-04-2011)

Identifiants

HAL Id : hal-00588472 , version 1

Citer

Mattia Petrolo. Ideal proofs and logical constructivity : from intuitionistic to classical logic. IP Fellows Seminar, Jan 2009, Paris, France. ⟨hal-00588472⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS7 LPHSAHP IP HIPHISCITECH

39 Consultations

0 Téléchargements

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

Ideal proofs and logical constructivity : from intuitionistic to classical logic

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager