According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.
An Axiom System for Concessive Conditionals
Andrea Iacona
;Vincenzo Crupi
;
2023-01-01
Abstract
According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
s11225-022-10034-1.pdf
Accesso aperto
Descrizione: Open Access (CC BY 4.0)
Tipo di file:
PDF EDITORIALE
Dimensione
370.39 kB
Formato
Adobe PDF
|
370.39 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
