2 results
AN ANALYSIS OF THE RULES OF GENTZEN’S NJ AND LJ
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 08 June 2018, pp. 347-370
- Print publication:
- June 2018
-
- Article
- Export citation
On permuting cut with contraction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 99-136
-
- Article
- Export citation