Towards a Satisfying Proof Analysis of the Logic of Proofs - Institut d'Histoire et de Philosophie des Sciences et des Techniques Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Towards a Satisfying Proof Analysis of the Logic of Proofs

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

Mots clés

logic

Domaines

Histoire, Philosophie et Sociologie des sciences

Francesca Poggiolesi  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 15 janvier 2013-16:55:18

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

Fichier non déposé

Dates et versions

halshs-00775817 , version 1 (15-01-2013)

Identifiants

  • HAL Id : halshs-00775817 , version 1

Citer

Francesca Poggiolesi. Towards a Satisfying Proof Analysis of the Logic of Proofs. Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Nov 2010, San Sebastian-Donostia, Spain. pp.371-387. ⟨halshs-00775817⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 ENS-PARIS CNRS IHPST HIPHISCITECH PSL
51 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More