Szukaj
Wyświetlanie pozycji 1-1 z 1
Hypersequent Calculi - Theory and Application
(2016)
The present work is a methodological study on different methods of proving cut eliminability in the framework of hypersequent calculi. In particular we provide axiomatic and semantical characterization of modal logic S5 ...