Willem J. Blok

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Assertionally Equivalent quasivarieties.
Int. J. Algebra Comput., 2008

2006
Equivalence of Consequence Operations.
Stud Logica, 2006

The Beth Property in Algebraic Logic.
Stud Logica, 2006

Algebras Defined from Ordered Sets and the Varieties they Generate.
Order, 2006

2004
Fragments of R-Mingle.
Stud Logica, 2004

Free Lukasiewicz and Hoop Residuation Algebras.
Stud Logica, 2004

2003
Algebraic Semantics for Deductive Systems.
Stud Logica, 2003

2000
Komori Identities in Algebraic Logic.
Reports Math. Log., 2000

On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.
Reports Math. Log., 2000

1992
Equational Dependencies.
J. Inf. Process. Cybern., 1992

1991
Introduction.
Stud Logica, 1991

1988
Alfred Tarski's Work on General Metamathematics.
J. Symb. Log., 1988

Positive Boolean Dependencies.
Inf. Process. Lett., 1988

1986
Protoalgebraic logics.
Stud Logica, 1986

On the lattice of quasivarieties of Sugihara algebras.
Stud Logica, 1986

1983
Algebraic Semantics for Quasi-Classical Modal Logics.
J. Symb. Log., 1983

1980
The Lattice of Modal Logics: An Algebraic Investigation.
J. Symb. Log., 1980


  Loading...