On the importance of being analytic. The paradigmatic case of the logic of proofs - HAL-SHS - Sciences de l'Homme et de la Société 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.

Mots clés

Fichier principal
Vignette du fichier
logique et analyse2.pdf (210.36 Ko) Télécharger le fichier
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

Partager

Gmail Facebook X LinkedIn More