3 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
Towards an algorithmic construction of cut-elimination procedures†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 81-105
-
- Article
- Export citation
A sufficient condition for completability of partial combinatory algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1209-1214
- Print publication:
- December 1997
-
- Article
- Export citation