On the importance of being analytic. The paradigmatic case of the logic of proofs - HAL Accéder directement au contenu
Article dans une revue Logique et Analyse Année : 2012

On the importance of being analytic. The paradigmatic case of the logic of proofs

Résumé

In the recent literature on proof theory, there seems to be a new raising topic which consists in identifying those properties that characterise a good sequent calculus. The property that has received by far the most attention is the analyticity property. In this paper we propose a new argument in support of the analyticity property. We will do it by means of the example of the logic of proofs, a logic recently introduced by Artemov [1]. Indeed a detailed proof analysis of this logic sheds new light on the logic itself and perfectly exemplifies our argument in favour of the analiticity.
Fichier principal
Vignette du fichier
logique et analyse2.pdf ( 210.36 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-00775807, version 1 (19-04-2016)

Identifiants

  • HAL Id : halshs-00775807 , version 1

Citer

Francesca Poggiolesi. On the importance of being analytic. The paradigmatic case of the logic of proofs. Logique et Analyse, 2012, 55 (219), pp.443-461. ⟨halshs-00775807⟩
228 Consultations
92 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus