 |
Conference papers
VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning
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 V and some of its significant extensions with axioms N, T, C, W and A. VINTE is inspired by the methodology of leanT A P and it is implemented in Prolog. The paper shows some experimental results, witnessing that the performances of VINTE are promising.
Cited literature [15 references]
https://hal.archives-ouvertes.fr/hal-01794382
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:51:24 PM
Last modification on : Wednesday, February 10, 2021 - 3:10:41 AM
Long-term archiving on: : Wednesday, September 26, 2018 - 12:53:06 AM
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:51:24 PM
Last modification on : Wednesday, February 10, 2021 - 3:10:41 AM
Long-term archiving on: : Wednesday, September 26, 2018 - 12:53:06 AM
File
VINTE_Tableaux2017.pdf
Files produced by the author(s)