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 Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/3-540-16780-3_89
10.1007/3-540-16780-3_89 · External reference
10.1080/11663081.1994.10510818
10.1080/11663081.1994.10510818 · 1994 · External reference
10.1007/bf01880329
10.1007/bf01880329 · 1991 · External reference
Unresolved reference
External reference
10.1002/malq.19930390127
10.1002/malq.19930390127 · 1993 · External reference
10.1305/ndjfl/1040408608
10.1305/ndjfl/1040408608 · 1994 · External reference
10.1002/malq.19870330503
10.1002/malq.19870330503 · 1987 · External reference
10.2307/2273797
10.2307/2273797 · External reference
10.1305/ndjfl/1093635154
10.1305/ndjfl/1093635154 · External reference
10.2307/2273953
10.2307/2273953 · 1986 · External reference
10.1007/bf03037381
10.1007/bf03037381 · 1986 · External reference
10.1007/978-94-017-2794-5
10.1007/978-94-017-2794-5 · 1983 · External reference
10.1093/logcom/1.1.83
10.1093/logcom/1.1.83 · 1990 · External reference
Unresolved reference
External reference
10.1016/0743-1066(84)90029-3
10.1016/0743-1066(84)90029-3 · 1984 · External reference
10.1016/s0743-1066(85)80003-0
10.1016/s0743-1066(85)80003-0 · 1985 · External reference
Unresolved reference
External reference
10.1007/3-540-54487-9_58
10.1007/3-540-54487-9_58 · External reference
10.1093/oso/9780198537618.003.0003
10.1093/oso/9780198537618.003.0003 · External reference
10.1093/oso/9780198537779.003.0005
10.1093/oso/9780198537779.003.0005 · External reference
10.2307/2275807
10.2307/2275807 · 1996 · External reference
10.1007/bf01880327
10.1007/bf01880327 · 1991 · External reference
Unresolved reference
1996 · External reference
10.1093/jigpal/4.3.385
10.1093/jigpal/4.3.385 · 1996 · External reference
10.1093/oso/9780198538332.001.0001
10.1093/oso/9780198538332.001.0001 · External reference
Unresolved reference
External reference
Unresolved reference
1991 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-94-017-2798-3_1
10.1007/978-94-017-2798-3_1 · External reference
10.1007/bf00249353
10.1007/bf00249353 · 1991 · External reference
10.1016/0743-1066(92)90038-5
10.1016/0743-1066(92)90038-5 · 1992 · External reference
Unresolved reference
1992 · External reference
10.1007/3-540-58156-1_52
10.1007/3-540-58156-1_52 · External reference
10.1016/0743-1066(88)90014-3
10.1016/0743-1066(88)90014-3 · 1988 · External reference
10.1002/malq.19640101305
10.1002/malq.19640101305 · 1964 · External reference
10.1007/3-540-59338-1_30
10.1007/3-540-59338-1_30 · External reference
10.1016/0743-1066(89)90031-9
10.1016/0743-1066(89)90031-9 · 1989 · External reference
10.1016/0168-0072(91)90068-w
10.1016/0168-0072(91)90068-w · 1991 · External reference
10.1007/3-540-55460-2_24
10.1007/3-540-55460-2_24 · External reference
10.1002/malq.19610070111
10.1002/malq.19610070111 · 1961 · External reference
10.1002/malq.19630090102
10.1002/malq.19630090102 · 1963 · External reference
10.1016/s0049-237x(08)70728-6
10.1016/s0049-237x(08)70728-6 · External reference
10.1093/logcom/4.2.125
10.1093/logcom/4.2.125 · 1994 · External reference
