Research graph
References from On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1996 · External reference
10.1007/bfb0055769
10.1007/bfb0055769 · External reference
Unresolved reference
1973 · External reference
Unresolved reference
1989 · External reference
Unresolved reference
1991 · External reference
Unresolved reference
External reference
10.1007/bf00370271
10.1007/bf00370271 · 1986 · External reference
10.1090/s0002-9947-1939-1501995-3
10.1090/s0002-9947-1939-1501995-3 · 1939 · External reference
10.1093/oso/9780198537779.003.0001
10.1093/oso/9780198537779.003.0001 · External reference
10.1093/logcom/7.4.473
10.1093/logcom/7.4.473 · 1997 · External reference
10.1007/bf01268618
10.1007/bf01268618 · 1996 · External reference
Unresolved reference
1984 · External reference
Unresolved reference
1984 · External reference
10.2307/2273798
10.2307/2273798 · 1985 · External reference
10.1002/malq.19790250706
10.1002/malq.19790250706 · 1979 · External reference
Unresolved reference
1974 · External reference
10.3233/fi-1993-182-417
10.3233/fi-1993-182-417 · 1993 · External reference
Unresolved reference
External reference
