Research graph
References from The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Unresolved reference
External reference
10.2307/2273660
10.2307/2273660 · 1983 · External reference
10.1007/bf01984693
10.1007/bf01984693 · 1985 · External reference
Unresolved reference
1994 · External reference
10.1007/bf00370331
10.1007/bf00370331 · 1992 · External reference
Unresolved reference
1979 · External reference
Unresolved reference
1979 · External reference
10.2307/2274318
10.2307/2274318 · 1985 · External reference
Unresolved reference
1933 · External reference
Unresolved reference
1976 · External reference
10.1007/bf01463150
10.1007/bf01463150 · 1974 · External reference
10.2307/2268135
10.2307/2268135 · 1948 · External reference
Unresolved reference
1977 · External reference
Unresolved reference
1928 · External reference
Unresolved reference
External reference
10.1070/im1987v028n03abeh000902
10.1070/im1987v028n03abeh000902 · 1987 · External reference
Unresolved reference
External reference
10.1007/bf02672476
10.1007/bf02672476 · External reference
Unresolved reference
External reference
10.1007/bf01982017
10.1007/bf01982017 · 1989 · External reference
10.1070/sm1991v068n01abeh002104
10.1070/sm1991v068n01abeh002104 · 1991 · External reference
10.2307/2275372
10.2307/2275372 · 1992 · External reference
