Research graph
References from Normal Natural Deduction Proofs (in classical logic). Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1980 · External reference
10.1007/3-540-59338-1_38
10.1007/3-540-59338-1_38 · External reference
10.1016/0004-3702(77)90012-1
10.1016/0004-3702(77)90012-1 · 1977 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1986 · External reference
Unresolved reference
External reference
10.1007/978-1-4684-0357-2
10.1007/978-1-4684-0357-2 · 1990 · External reference
10.1007/bf01201353
10.1007/bf01201353 · 1934 · External reference
10.1007/bf01565428
10.1007/bf01565428 · 1936 · External reference
Unresolved reference
1969 · External reference
10.1007/978-94-010-3072-4
10.1007/978-94-010-3072-4 · 1971 · External reference
Unresolved reference
External reference
Unresolved reference
1952 · External reference
Unresolved reference
External reference
10.5840/monist19354515
10.5840/monist19354515 · External reference
10.1145/321850.321858
10.1145/321850.321858 · 1974 · External reference
10.1017/cbo9780511526602
10.1017/cbo9780511526602 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1965 · External reference
10.1007/978-3-642-81952-0_28
10.1007/978-3-642-81952-0_28 · External reference
Unresolved reference
1992 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1992 · External reference
10.1007/978-1-4612-0435-0
10.1007/978-1-4612-0435-0 · 1991 · External reference
10.2307/2274910
10.2307/2274910 · 1991 · External reference
Unresolved reference
External reference
Unresolved reference
1988 · External reference
