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 Natural Deduction for Non-Classical Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1992 · External reference
10.1016/0890-5401(91)90023-u
10.1016/0890-5401(91)90023-u · 1991 · External reference
Unresolved reference
External reference
Unresolved reference
1996 · External reference
10.1093/logcom/7.6.685
10.1093/logcom/7.6.685 · External reference
Unresolved reference
1982 · External reference
Unresolved reference
1984 · External reference
10.1007/bf00881958
10.1007/bf00881958 · 1994 · External reference
10.2307/2273797
10.2307/2273797 · 1985 · External reference
Unresolved reference
1986 · External reference
Unresolved reference
1978 · External reference
10.1007/978-94-009-5203-4_3
10.1007/978-94-009-5203-4_3 · 1986 · External reference
Unresolved reference
1994 · External reference
Unresolved reference
1995 · External reference
10.1007/bf01061239
10.1007/bf01061239 · External reference
10.1007/978-94-009-0349-4_4
10.1007/978-94-009-0349-4_4 · 1996 · External reference
10.1007/978-94-017-2794-5
10.1007/978-94-017-2794-5 · 1983 · External reference
10.1093/oso/9780198538332.001.0001
10.1093/oso/9780198538332.001.0001 · 1996 · External reference
Unresolved reference
1983 · External reference
Unresolved reference
1993 · External reference
10.1017/s0960129500000785
10.1017/s0960129500000785 · 1995 · External reference
10.1007/bf01201353
10.1007/bf01201353 · 1934 · External reference
Unresolved reference
1969 · External reference
10.1016/0304-3975(87)90045-4
10.1016/0304-3975(87)90045-4 · 1987 · External reference
Unresolved reference
1974 · External reference
10.1145/138027.138060
10.1145/138027.138060 · 1993 · External reference
Unresolved reference
1989 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
External reference
10.1007/bf00258426
10.1007/bf00258426 · 1979 · External reference
10.2307/2372123
10.2307/2372123 · 1951 · External reference
10.1007/978-94-017-2798-3_12
10.1007/978-94-017-2798-3_12 · 1996 · External reference
10.1016/0168-0072(92)90029-y
10.1016/0168-0072(92)90029-y · 1992 · External reference
Unresolved reference
1994 · External reference
Unresolved reference
1988 · External reference
10.1093/jigpal/1.1.69
10.1093/jigpal/1.1.69 · 1993 · External reference
Unresolved reference
1991 · External reference
10.2307/2275375
10.2307/2275375 · 1992 · External reference
10.1007/bf00248324
10.1007/bf00248324 · 1989 · External reference
10.1007/bfb0030541
10.1007/bfb0030541 · 1994 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
1965 · External reference
10.1016/s0049-237x(08)70849-8
10.1016/s0049-237x(08)70849-8 · 1971 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/bf00649991
10.1007/bf00649991 · 1972 · External reference
Unresolved reference
1982 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
1967 · External reference
Unresolved reference
1993 · External reference
10.1007/978-94-009-5203-4_8
10.1007/978-94-009-5203-4_8 · 1986 · External reference
Unresolved reference
1996 · External reference
10.1007/978-94-009-6259-0_4
10.1007/978-94-009-6259-0_4 · 1984 · External reference
Unresolved reference
1985 · External reference
10.1007/978-3-662-02962-6
10.1007/978-3-662-02962-6 · 1994 · External reference
Unresolved reference
1997 · External reference
10.1093/logcom/4.2.125
10.1093/logcom/4.2.125 · 1994 · External reference
