2 results
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 11 June 2021, pp. 635-668
- Print publication:
- June 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 August 2019, pp. 806-822
- Print publication:
- December 2019
-
- Article
- Export citation