• Aucun résultat trouvé

VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning"

Copied!
14
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Table 1. Lewis’ logics and axioms.
Table 2. The calculus I V i and its extensions.
Fig. 1. Home page of VINTE.
Fig. 2. When the user wants to check whether a formula F is valid, then (i) he selects the conditional logic to use, (ii) he types F in the form and (iii) clicks the button in order to execute the calculi presented in Section 3.
+4

Références

Télécharger maintenant ( PDF - 14 Page - 8.44 MB )

Documents relatifs