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 Predicate Logics on Display. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Unresolved reference
1995 · External reference
10.1007/bf00284976
10.1007/bf00284976 · 1982 · External reference
Unresolved reference
1990 · External reference
10.1007/978-94-017-2798-3_6
10.1007/978-94-017-2798-3_6 · 1996 · External reference
Unresolved reference
External reference
Unresolved reference
1996 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
1972 · External reference
Unresolved reference
1993 · External reference
Unresolved reference
1994 · External reference
Unresolved reference
1979 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-94-017-2798-3_9
10.1007/978-94-017-2798-3_9 · 1996 · External reference
Unresolved reference
1995 · External reference
Unresolved reference
1974 · External reference
Unresolved reference
1968 · External reference
Unresolved reference
1996 · External reference
10.1007/bf00370318
10.1007/bf00370318 · 1980 · External reference
Unresolved reference
1991 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1080/00201746008601312
10.1080/00201746008601312 · 1960 · External reference
10.1007/bf00370684
10.1007/bf00370684 · 1991 · External reference
Unresolved reference
1994 · External reference
Unresolved reference
1995 · External reference
10.1007/978-94-015-8242-1_8
10.1007/978-94-015-8242-1_8 · 1993 · External reference
Unresolved reference
External reference
Unresolved reference
1996 · External reference
Unresolved reference
External reference
10.2307/2275853
10.2307/2275853 · 1995 · External reference
Unresolved reference
External reference
Unresolved reference
1962 · External reference
10.1093/logcom/4.2.125
10.1093/logcom/4.2.125 · 1994 · External reference
10.1007/978-94-017-2798-3_8
10.1007/978-94-017-2798-3_8 · 1996 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
1995 · External reference
Unresolved reference
1997 · External reference
10.1007/978-94-011-5638-7_8
10.1007/978-94-011-5638-7_8 · 1997 · External reference
