Theorem proving for Lewis Logics of Counterfactual Reasoning - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Theorem proving for Lewis Logics of Counterfactual Reasoning

Résumé

We present tuCLEVER, a theorem prover for the strongest conditional logics of counterfactual reasoning introduced by Lewis in the seventies. tuCLEVER implements some hypersequent calculi recently introduced for the system VTU and its main extensions. tuCLEVER is inspired by the methodology of leanT^AP and it is implemented in Prolog. Preliminary experimental results show that the performances of tuCLEVER are promising.
Fichier principal
Vignette du fichier
GirLelOliPozPesCILC2020 camera ready.pdf (1.63 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03080670 , version 1 (17-12-2020)

Identifiants

  • HAL Id : hal-03080670 , version 1

Citer

Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato. Theorem proving for Lewis Logics of Counterfactual Reasoning. CILC 2020 - 35th Edition of the Italian Conference on Computational Logic, Oct 2020, Rende / Virtual, Italy. ⟨hal-03080670⟩
78 Consultations
120 Téléchargements

Partager

Gmail Facebook X LinkedIn More