Research graph
References from On the Algebraizability of Annotated Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1992 · External reference
10.1016/0304-3975(89)90126-6
10.1016/0304-3975(89)90126-6 · 1989 · External reference
10.1090/memo/0396
10.1090/memo/0396 · External reference
Unresolved reference
1992 · External reference
10.1002/malq.19910370903
10.1002/malq.19910370903 · 1991 · External reference
10.1007/bf02584057
10.1007/bf02584057 · 1981 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1987 · External reference
