Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
10.1093/logcom/2.3.297
10.1093/logcom/2.3.297 · 1992 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/bf01270628
10.1007/bf01270628 · 1994 · External reference
10.1017/cbo9780511629150.011
10.1017/cbo9780511629150.011 · External reference
10.1016/0304-3975(82)90026-3
10.1016/0304-3975(82)90026-3 · 1982 · External reference
10.1090/mmono/067
10.1090/mmono/067 · External reference
10.2307/2275431
10.2307/2275431 · 1992 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1969 · External reference
10.1017/s0960129500001328
10.1017/s0960129500001328 · 1991 · External reference
10.1007/978-1-4612-2822-6_8
10.1007/978-1-4612-2822-6_8 · External reference
10.1007/bfb0022247
10.1007/bfb0022247 · External reference
10.1007/bfb0022247
10.1007/bfb0022247 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1002/malq.19790250102
10.1002/malq.19790250102 · 1979 · External reference
10.1016/0304-3975(96)00045-x
10.1016/0304-3975(96)00045-x · 1996 · External reference
10.1016/0168-0072(91)90068-w
10.1016/0168-0072(91)90068-w · 1991 · External reference
Unresolved reference
External reference
Unresolved reference
1965 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
