Natural deduction calculi and sequent calculi for counterfactual logics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Studia Logica Année : 2016

Natural deduction calculi and sequent calculi for counterfactual logics

Résumé

In this paper we present labelled sequent calculi and labelled natural deduction calculi for the counterfactual logics CK + {ID, MP}. As for the sequent calculi we prove, in a semantic manner, that the cut-rule is admissible. As for the natural deduction calculi we prove, in a purely syntactic way, the normalization theorem. Finally, we demonstrate that both calculi are sound and complete with respect to Nute semantics [12] and that the natural deduction calculi can be effectively transformed into the sequent calculi.

Domaines

Philosophie
Fichier principal
Vignette du fichier
strictconditional10.pdf (284.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01271556 , version 1 (21-06-2018)

Identifiants

Citer

Francesca Poggiolesi. Natural deduction calculi and sequent calculi for counterfactual logics. Studia Logica, 2016, 104 (5), pp.1003-1036. ⟨10.1007/s11225-016-9662-3⟩. ⟨hal-01271556⟩
124 Consultations
473 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More