Towards a Satisfying Proof Analysis of the Logic of Proofs
Francesca Poggiolesi
- Fonction : Auteur
- PersonId : 746359
- IdHAL : francesca-poggiolesi
| Format du dépôt | Notice |
|---|---|
| Type de dépôt | Communication dans un congrès |
| Titre |
en
Towards a Satisfying Proof Analysis of the Logic of Proofs
|
| Auteur(s) |
Francesca Poggiolesi
1
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1342 )
- 13 Rue du four
75006 PARIS
- France
|
| Vulgarisation |
Non
|
| Comité de lecture |
Oui
|
| Actes |
Oui
|
| Invité |
Non
|
| Langue du document |
Anglais
|
| Date de production/écriture |
2010
|
| Titre de l'ouvrage |
Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action
|
| Audience |
Internationale
|
| Date de publication |
2010
|
| Page/Identifiant |
371-387
|
| Titre du congrès |
Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action
|
| Date début congrès |
2010-11-03
|
| Date fin congrès |
2010-11-05
|
| Ville |
San Sebastian-Donostia
|
| Pays |
Espagne
|
| Domaine(s) |
|
| Éditeur commercial |
|
| Éditeur scientifique |
|
| Référence interne |
|
| Mots-clés |
it
logic
|
Loading...