2008 |
14 | EE | Willem J. Blok,
James G. Raftery:
Assertionally Equivalent quasivarieties.
IJAC 18(4): 589-681 (2008) |
2006 |
13 | EE | Joel Berman,
Willem J. Blok:
Algebras Defined from Ordered Sets and the Varieties they Generate.
Order 23(1): 65-88 (2006) |
12 | EE | Willem J. Blok,
Eva Hoogland:
The Beth Property in Algebraic Logic.
Studia Logica 83(1-3): 49-90 (2006) |
11 | EE | Willem J. Blok,
Bjarni Jónsson:
Equivalence of Consequence Operations.
Studia Logica 83(1-3): 91-110 (2006) |
2004 |
10 | EE | Joel Berman,
Willem J. Blok:
Free Lukasiewicz and Hoop Residuation Algebras.
Studia Logica 77(2): 153-180 (2004) |
9 | EE | Willem J. Blok,
James G. Raftery:
Fragments of R-Mingle.
Studia Logica 78(1-2): 59-106 (2004) |
2003 |
8 | | Willem J. Blok,
Jordi Rebagliato:
Algebraic Semantics for Deductive Systems.
Studia Logica 74(1-2): 153-180 (2003) |
2000 |
7 | | Willem J. Blok,
Clint J. van Alten:
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.
Reports on Mathematical Logic 34: 159-165 (2000) |
6 | EE | Willem J. Blok,
Silvia B. la Falce:
Komori Identities in Algebraic Logic.
Reports on Mathematical Logic 34: 79-106 (2000) |
1992 |
5 | | Joel Berman,
Willem J. Blok:
Equational Dependencies.
Elektronische Informationsverarbeitung und Kybernetik 28(4): 213-223 (1992) |
1988 |
4 | | Joel Berman,
Willem J. Blok:
Positive Boolean Dependencies.
Inf. Process. Lett. 27(3): 147-150 (1988) |
3 | | Willem J. Blok,
Don Pigozzi:
Alfred Tarski's Work on General Metamathematics.
J. Symb. Log. 53(1): 36-50 (1988) |
1983 |
2 | | Willem J. Blok,
P. Kohler:
Algebraic Semantics for Quasi-Classical Modal Logics.
J. Symb. Log. 48(4): 941-964 (1983) |
1980 |
1 | | Willem J. Blok:
The Lattice of Modal Logics: An Algebraic Investigation.
J. Symb. Log. 45(2): 221-236 (1980) |