Skip to Main content Skip to Navigation
Conference papers

Towards a Satisfying Proof Analysis of the Logic of Proofs

keyword : logic
Complete list of metadata

https://halshs.archives-ouvertes.fr/halshs-00775817
Contributor : Francesca Poggiolesi Connect in order to contact the contributor
Submitted on : Tuesday, January 15, 2013 - 4:55:18 PM
Last modification on : Friday, October 15, 2021 - 1:38:39 PM

Identifiers

  • HAL Id : halshs-00775817, version 1

Citation

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⟩

Share

Metrics

Record views

156