Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Calcul des hypersequents"'
Autor:
Lucas, Christophe
Publikováno v:
General Mathematics [math.GM]. Ecole normale supérieure de lyon-ENS LYON, 2022. English. ⟨NNT : 2022ENSL0009⟩
He focus of this thesis is to design a hypersequent calculus called HMR for Riesz modal logic, or equivalently, for the equational theory of modal Riesz spaces. It is part of a line of research aiming to provide a structural proof system for well–k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9777c826c2fca8ce9c6a6f0ebd5c1e7e
https://theses.hal.science/tel-03886259
https://theses.hal.science/tel-03886259
