Grounding principles for (relevant) implication
In: Synthese: an international journal for epistemology, methodology and philosophy of science, Band 198, Heft 8, S. 7351-7376
ISSN: 1573-0964
5 Ergebnisse
Sortierung:
In: Synthese: an international journal for epistemology, methodology and philosophy of science, Band 198, Heft 8, S. 7351-7376
ISSN: 1573-0964
In: Synthese: an international journal for epistemology, methodology and philosophy of science, Band 195, Heft 3, S. 1231-1254
ISSN: 1573-0964
In: Synthese: an international journal for epistemology, methodology and philosophy of science, Band 193, Heft 10, S. 3147-3167
ISSN: 1573-0964
International audience 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.
BASE
In: Synthese: an international journal for epistemology, methodology and philosophy of science, Band 173, Heft 3, S. 259-279
ISSN: 1573-0964