Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Lellmann, B."'
Publikováno v:
Journal of Logic and Computation
Journal of Logic and Computation, 2022, ⟨10.1093/logcom/exab084⟩
Journal of Logic and Computation, 2022, ⟨10.1093/logcom/exab084⟩
We present hypersequent calculi for the strongest logics in Lewis’ family of conditional systems, characterized by uniformity and total reflexivity. We first present a non-standard hypersequent calculus, which allows a syntactic proof of cut elimin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2550759e2cc90d82942f87bc2dd1a974
https://hal.science/hal-03562537
https://hal.science/hal-03562537
Publikováno v:
CILC 2020-35th Edition of the Italian Conference on Computational Logic
CILC 2020-35th Edition of the Italian Conference on Computational Logic, Oct 2020, Rende / Virtual, Italy
CILC 2020-35th Edition of the Italian Conference on Computational Logic, Oct 2020, Rende / Virtual, Italy
International audience; 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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7784e696f0d40810730f9d3d8bb8c8ed
https://hal.archives-ouvertes.fr/hal-03080670
https://hal.archives-ouvertes.fr/hal-03080670
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.