Willem J. Blok

According to our database, Willem J. Blok authored at least 17 papers between 1980 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Assertionally Equivalent quasivarieties.

Willem J. Blok, James G. Raftery

Int. J. Algebra Comput., 2008

2006

Equivalence of Consequence Operations.

Willem J. Blok, Bjarni Jónsson

Stud Logica, 2006

The Beth Property in Algebraic Logic.

Willem J. Blok, Eva Hoogland

Stud Logica, 2006

Algebras Defined from Ordered Sets and the Varieties they Generate.

Joel Berman, Willem J. Blok

Order, 2006

2004

Fragments of R-Mingle.

Willem J. Blok, James G. Raftery

Stud Logica, 2004

Free Lukasiewicz and Hoop Residuation Algebras.

Joel Berman, Willem J. Blok

Stud Logica, 2004

2003

Algebraic Semantics for Deductive Systems.

Willem J. Blok, Jordi Rebagliato

Stud Logica, 2003

2000

Komori Identities in Algebraic Logic.

Willem J. Blok, Silvia B. la Falce

Reports Math. Log., 2000

On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.

Willem J. Blok, Clint J. van Alten

Reports Math. Log., 2000

1992

Equational Dependencies.

Joel Berman, Willem J. Blok

J. Inf. Process. Cybern., 1992

1991

Introduction.

Willem J. Blok, Don Pigozzi

Stud Logica, 1991

1988

Alfred Tarski's Work on General Metamathematics.

Willem J. Blok, Don Pigozzi

J. Symb. Log., 1988

Positive Boolean Dependencies.

Joel Berman, Willem J. Blok

Inf. Process. Lett., 1988

1986

Protoalgebraic logics.

Willem J. Blok, Don Pigozzi

Stud Logica, 1986

On the lattice of quasivarieties of Sugihara algebras.

Willem J. Blok, Wieslaw Dziobiak

Stud Logica, 1986

1983

Algebraic Semantics for Quasi-Classical Modal Logics.

Willem J. Blok, P. Kohler

J. Symb. Log., 1983

1980

The Lattice of Modal Logics: An Algebraic Investigation.

Willem J. Blok

J. Symb. Log., 1980