We present VINTE, a theorem prover for conditional logics for counterfactual reasoning introduced by Lewis in the seventies. VINTE implements some internal calculi recently introduced for the basic system and some of its significant extensions with axioms ℕ , , ℂ , and . VINTE is inspired by the methodology of lean and it is implemented in Prolog. The paper shows some experimental results, witnessing that the performances of VINTE are promising.
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning
Pozzato, Gian Luca;
2017-01-01
Abstract
We present VINTE, a theorem prover for conditional logics for counterfactual reasoning introduced by Lewis in the seventies. VINTE implements some internal calculi recently introduced for the basic system and some of its significant extensions with axioms ℕ , , ℂ , and . VINTE is inspired by the methodology of lean and it is implemented in Prolog. The paper shows some experimental results, witnessing that the performances of VINTE are promising.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TABLEAUX2017b.pdf
Accesso riservato
Tipo di file:
PREPRINT (PRIMA BOZZA)
Dimensione
8.29 MB
Formato
Adobe PDF
|
8.29 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
